Communication Dans Un Congrès
Année : 2011
Francoise Jouglas : Connectez-vous pour contacter le contributeur
https://hal.univ-brest.fr/hal-00801329
Soumis le : vendredi 15 mars 2013-15:44:32
Dernière modification le : vendredi 24 mars 2023-14:52:56
Dates et versions
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⟩
Collections
44
Consultations
0
Téléchargements