Prototypage rapide de logiciel pour les systèmes avioniques : approaches orientées modèle pour la certification de systèmes complexes /
Larrieu, Nicolas,author.
Varet, Antoine,author.