Experience of an efficient and actual MDE process : design and verification of ATC onboard system

Type de document :
Communication dans un congrès
Conférences on UML&FORMAL METHODS, Oct 2008, Kitakyushu-city, Japan
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00517277
Contributeur : Dtn Ensieta <>
Soumis le : mardi 14 septembre 2010 - 09:17:35
Dernière modification le : mardi 15 mai 2012 - 09:17:08

Identifiants

  • HAL Id : hal-00517277, version 1

Citation

Eric Bonnafous, Frédéric Boniol, Philippe Dhaussy, Xavier Dumas. Experience of an efficient and actual MDE process : design and verification of ATC onboard system. Conférences on UML&FORMAL METHODS, Oct 2008, Kitakyushu-city, Japan. 〈hal-00517277〉

Partager

Métriques

Consultations de la notice

165