Early Verification of Embedded System Models using the Requirements Definition and Analysis Language Annex of the SAE AADL - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Early Verification of Embedded System Models using the Requirements Definition and Analysis Language Annex of the SAE AADL

Dominique Blouin
Skander Turki
  • Fonction : Auteur
Eric Senn
Fichier non déposé

Dates et versions

hal-03219179 , version 1 (06-05-2021)

Identifiants

  • HAL Id : hal-03219179 , version 1

Citer

Dominique Blouin, Skander Turki, Eric Senn. 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-03219179⟩
10 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More