| 2007 |
|---|
| 4 | EE | Fabrice Bouquet,
C. Grandpierre,
Bruno Legeard,
Fabien Peureux,
Nicolas Vacelet,
Mark Utting:
A subset of precise UML for model-based testing.
A-MOST 2007: 95-104 |
| 2004 |
|---|
| 3 | EE | Fabrice Bouquet,
Bruno Legeard,
Mark Utting,
Nicolas Vacelet:
Faster Analysis of Formal Specifications.
ICFEM 2004: 239-258 |
| 2003 |
|---|
| 2 | | Fabrice Bouquet,
Bruno Legeard,
Nicolas Vacelet:
Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes.
JFPLC 2003: 203-216 |
| 1 | EE | Fabrice Bouquet,
Bruno Legeard,
Nicolas Vacelet:
Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes.
Technique et Science Informatiques 22(1): 203-216 (2003) |
