Communication Dans Un Congrès
Année : 2012
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00760439
Soumis le : lundi 3 décembre 2012-22:18:01
Dernière modification le : vendredi 23 janvier 2026-09:12:06
Dates et versions
Identifiants
- HAL Id : hal-00760439 , version 1
Citer
Eric Senn, Dominique Blouin, Skander Turki. Early Verification of Embedded System Models using the Requirements Definition and Analysis Language Annex of the SAE AADL. SAE 2012 Aerospace Electronics and Avionics Systems Conference, Oct 2012, Phoenix, United States. ⟨hal-00760439⟩
Collections
266
Consultations
0
Téléchargements