Secteur d'activité de haute technologie Projets pionniers en méthodes formelles et modélisation des systèmes... et la vérification des systèmes, Collaborer avec des équipes pluridisciplinaires pour intégrer des méthodes formelles dans les processus...