Conference Papers
Year : 2011
Francoise Jouglas : Connect in order to contact the contributor
https://hal.univ-brest.fr/hal-00801329
Submitted on : Friday, March 15, 2013-3:44:32 PM
Last modification on : Tuesday, August 27, 2024-12:43:58 PM
Dates and versions
Identifiers
- HAL Id : hal-00801329 , version 1
Cite
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⟩
Collections
48
View
0
Download