Nicolas Vacelet

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting
A subset of precise UML for model-based testing. A-MOST (2007)
Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet
Faster Analysis of Formal Specifications. ICFEM (2004)
Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet
Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes. Tech. Sci. Informatiques 22 (1) (2003)
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)