RDAL: A new language for the definition and verification of requirements against AADL and other architecture models - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

RDAL: A new language for the definition and verification of requirements against AADL and other architecture models

Eric Senn (1) , Dominique Blouin (1)
Eric Senn
Lab-STICC_UBS_CACS_MOCS
Dominique Blouin
Lab-STICC_UBS_CACS_MOCS

Domaines

Systèmes embarqués

Eric Senn  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00760365

Soumis le : lundi 3 décembre 2012-17:41:41

Dernière modification le : mardi 27 août 2024-12:43:37

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00760365 , version 1

Citer

Eric Senn, Dominique Blouin. RDAL: A new language for the definition and verification of requirements against AADL and other architecture models. NEPTUNE Workshop (Nice Environment with a Process and Tools Using Norms and Examples), May 2011, Paris, France. ⟨hal-00760365⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More