Skip to Main content Skip to Navigation
Conference papers

Modeling and verification of memory architectures with AADL and REAL

Stéphane Rubini 1 Frank Singhoff 1 J. Hugues
1 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
Document type :
Conference papers
Complete list of metadatas

https://hal.univ-brest.fr/hal-00801329
Contributor : Francoise Jouglas <>
Submitted on : Friday, March 15, 2013 - 3:44:32 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:20 PM

Identifiers

  • HAL Id : hal-00801329, version 1

Citation

Stéphane Rubini, Frank Singhoff, J. Hugues. Modeling and verification of memory architectures with AADL and REAL. In the proceedings of the 16th IEEE international conference on engineering of complex computer systems, Apr 2011, Las Vegas, United States. pp.338-343. ⟨hal-00801329⟩

Share

Metrics

Record views

151