%0 Conference Paper %F Oral %T Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logiciels %+ Développement des Technologies Nouvelles (DTN) %A Dhaussy, Philippe %A Monégier Du Sorbier, A. %A Bonnafous, Eric %< avec comité de lecture %B Séminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement %C Paris, France %8 2009 %D 2009 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-00517273 %U https://hal.science/hal-00517273 %~ ENSTA-BRETAGNE %~ ENSTA-BRETAGNE-STIC %~ ENSIETA-DTN