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
Type de document :
Communication dans un congrès
In the proceedings of the 16th IEEE international conference on engineering of complex computer systems, Apr 2011, Las Vegas, United States. pp.338-343, 2011
Liste complète des métadonnées

https://hal.univ-brest.fr/hal-00801329
Contributeur : Francoise Jouglas <>
Soumis le : vendredi 15 mars 2013 - 15:44:32
Dernière modification le : jeudi 29 novembre 2018 - 16:49:12

Identifiants

  • 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, 2011. 〈hal-00801329〉

Partager

Métriques

Consultations de la notice

96