| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 3 |      | Marielle Doche, Andrew M. Gravell: Extraction of Abstraction Invariants for Data Refinement. ZB 2002: 120-139 |
| 2001 | ||
| 2 | | Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon: A Modular Approach to the Specification and Validation of an Electrical Flight Control System. FME 2001: 590-610 |
| 2000 | ||
| 1 | | Marielle Doche, Virginie Wiels: Extended Institutions for Testing. AMAST 2000: 514-528 |
| 1 | Andrew M. Gravell | [3] |
| 2 | Fabrice Kordon | [2] |
| 3 | Isabelle Vernier-Mounier | [2] |
| 4 | Virginie Wiels | [1] |
Colors in the list of coauthors
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page