Prototypage rapide de logiciel pour les systèmes avioniques : Approches orientées modèle pour la certification de systèmes complexes - Nicolas Larrieu - Övrigt | Bokus