Early Verification of Embedded System Models using the Requirements Definition and Analysis Language Annex of the SAE AADL - Archive ouverte HAL
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 : mardi 27 août 2024-12:43:37

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 CNRS UBS LAB-STICC_UBS ENIB LAB-STICC_ENIB LAB-STICC
247 Consultations
0 Téléchargements

Partager

More