Votre recherche
Méthode outillée de modélisation formelle des exigences pour des systèmes complexes critiques – FORMOSE
com) et deux partenaires industriels (THALES, ClearSy). L'IE est un processus critique dans la conception [...] industriels. De plus, les ingénieurs de THALES et ClearSy seront des utilisateurs actifs de la méthode et [...] donner des retours réels sur leur utilisabilité. Clearsy assurera l'exploitation et la maintenance des outils