 |
Communication dans un congrès
AADL model transformation for formal verification
Thomas Abdoul 1
Auteur
Joël Champeau 2
Auteur IdHAL : joel-champeau
Philippe Dhaussy 1
Auteur correspondant Etablissement employeur : Ecole Nationale Supérieure des Ingénieurs des Etudes et Techniques d'Armement
Pierre-Yves Pillain 1
Auteur
Jean-Charles Roger 1
Auteur
1
DTN - Développement des Technologies Nouvelles (2, rue François Verny, 29806 BREST Cedex 9 - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
2
Ensieta - Ecole Nationale Supérieure des Ingénieurs des Etudes et Techniques d'Armement (2 Rue François Verny, 29200 Brest - France)
Type de document :
Communication dans un congrès
Domaine :
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
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
Collections
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⟩
Métriques
Consultations de la notice