Modeling and verification of memory architectures with AADL and REAL - Université de Bretagne Occidentale
Communication Dans Un Congrès Année : 2011

Modeling and verification of memory architectures with AADL and REAL

Stéphane Rubini
Frank Singhoff
J. Hugues
  • Fonction : Auteur
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00801329 , version 1

Citer

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⟩
49 Consultations
0 Téléchargements

Partager

More