Publications de Yves Ledru avec IIHM [bibtex|json]
2005
Conférences internationales de large diffusion avec comité de lecture sur texte complet
-
Test of the ICARE platform fusion mechanism
In 12th International Workshop on Design, Specification and Verification of Interactive Systems,LNCS.
Dupuy-Chessa, du Bousquet, Bouchet, Ledru
2004
Autres publications
-
Towards computer-aided design of OCL constraints
In Ninth CAiSE/IFIP8.1/EUNO International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'04).
Ledru, Dupuy-Chessa, Fadil
2003
Conférences nationales avec comité de lecture sur texte complet
-
Expressing dynamic properties of static diagrams in Z
In Approches Formelles Pour le Développement des Logiciels - AFADL'2003.
Ledru, Dupuy-Chessa