%0 Conference Paper %F Oral %T Experience of an efficient and actual MDE process : design and verification of ATC onboard system %+ Développement des Technologies Nouvelles (DTN) %A Bonnafous, Eric %A Boniol, Frédéric %A Dhaussy, Philippe %A Dumas, Xavier %< avec comité de lecture %B Conférences on UML&FORMAL METHODS %C Kitakyushu-city, Japan %8 2008-10-27 %D 2008 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-00517277 %U https://hal.science/hal-00517277 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN