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

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

Domaines

Systèmes embarqués

Dominique Blouin  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03219179

Soumis le : jeudi 6 mai 2021-11:16:02

Dernière modification le : mardi 27 août 2024-12:52:57

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More