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
UBO - Université de Brest, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
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

http://hal.univ-brest.fr/hal-00801329
Contributeur : Francoise Jouglas <>
Soumis le : vendredi 15 mars 2013 - 15:44:32
Dernière modification le : mardi 16 janvier 2018 - 15:54:23

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

94