%0 Conference Paper %F Oral %T AADL model transformation for formal verification %+ Développement des Technologies Nouvelles (DTN) %+ Ecole Nationale Supérieure des Ingénieurs des Etudes et Techniques d'Armement (Ensieta) %A Abdoul, Thomas %A Champeau, Joël %A Dhaussy, Philippe %A Pillain, Pierre-Yves %A Roger, Jean-Charles %< avec comité de lecture %B 3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008) %C Belfast, Ireland %8 2008-04-02 %D 2008 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-00517223 %U https://hal.science/hal-00517223 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN