Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

2 Résultats
authFullName_s : Thomas Abdoul

Transformation de modèles AADL en automates temporisés IF.

Thomas Abdoul
2006
Autre publication scientifique hal-00541457v1

AADL model transformation for formal verification

Thomas Abdoul , Joël Champeau , Philippe Dhaussy , Pierre-Yves Pillain , Jean-Charles Roger
3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
Communication dans un congrès hal-00517223v1