| Session | |
Invités : Insertion des méthodes formelles dans les processus de conception des systèmes : dogmes, pratiques et évolutions
| |
| Présentations | |
Le processus et l'environnement ASSERT pour la combinaison de formalismes ESA, The Netherlands Retour d'expérience sur l'utilisation des méthodes formelles chez Dassault Aviation Dassault Aviation, France Retour d'expérience sur l'utilisation des méthodes formelles au CEAT DGA, France |