| 2008 |
|---|
| 3 | EE | Xavier Renault,
Jérôme Hugues,
Fabrice Kordon:
Formal Modeling of a Generic Middleware to Ensure Invariant Properties.
FMOODS 2008: 185-200 |
| 2 | EE | Fabrice Kordon,
Jérôme Hugues,
Xavier Renault:
From Model Driven Engineering to Verification Driven Engineering.
SEUS 2008: 381-393 |
| 2006 |
|---|
| 1 | EE | Alexandre Hamez,
Lom Hillah,
Fabrice Kordon,
Alban Linard,
Emmanuel Paviot-Adet,
Xavier Renault,
Yann Thierry-Mieg:
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.
ACSD 2006: 273-275 |
