Early Verification of Embedded System Models using the Requirements Definition and Analysis Language Annex of the SAE AADL - IMT - Institut Mines-Télécom 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

Eric Senn
Lab-STICC_UBS_CACS_MOCS
Dominique Blouin
Lab-STICC_UBS_CACS_MOCS
Skander Turki
  • Fonction : Auteur
Taif University

Domaines

Systèmes embarqués

Eric Senn  : 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 24 mars 2023-14:52:56

Fichier non déposé

Dates et versions

hal-00760439 , version 1 (03-12-2012)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST INSTITUT-TELECOM CNRS UBS LAB-STICC_UBS ENIB LAB-STICC_ENIB LAB-STICC
241 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More