Yves Ledru's publications with EHCI [bibtex|json]
2005
International refereed conference papers
-
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
Others 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
National refereed conference papers
-
Expressing dynamic properties of static diagrams in Z
In Approches Formelles Pour le Développement des Logiciels - AFADL'2003.
Ledru, Dupuy-Chessa