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