Modeling and verification of memory architectures with AADL and REAL - Université de Bretagne Occidentale
Conference Papers Year : 2011

Modeling and verification of memory architectures with AADL and REAL

Stéphane Rubini
Frank Singhoff
J. Hugues
  • Function : Author
No file

Dates and versions

hal-00801329 , version 1 (15-03-2013)

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⟩
48 View
0 Download

Share

More