Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

1 Résultat
authFullName_s : A. Monégier Du Sorbier

Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logiciels

Philippe Dhaussy , A. Monégier Du Sorbier , Eric Bonnafous
Séminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France
Communication dans un congrès hal-00517273v1