Accéder directement au contenu Accéder directement à la navigation


hal-00517223v1  Communication dans un congrès
Thomas AbdoulJoël ChampeauPhilippe DhaussyPierre-Yves PillainJean-Charles Roger. AADL model transformation for formal verification
3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
hal-00663182v1  Communication dans un congrès
Pierre-Yves PillainJoël ChampeauHanh Nhi Tran. Towards an Enactment Mechanism for MODAL Process Models
ECMFA 2011, Jun 2011, United Kingdom