Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

AADL model transformation for formal verification

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00517223
Contributeur : Dtn Ensieta <>
Soumis le : lundi 13 septembre 2010 - 21:38:11
Dernière modification le : vendredi 13 décembre 2019 - 10:42:05

Identifiants

  • HAL Id : hal-00517223, version 1

Citation

Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre-Yves Pillain, Jean-Charles Roger. AADL model transformation for formal verification. 3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland. ⟨hal-00517223⟩

Partager

Métriques

Consultations de la notice

113