RDAL: A new language for the definition and verification of requirements against AADL and other architecture models - Archive ouverte HAL Accéder directement au contenu
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
Dominique Blouin
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⟩
232 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More