Marielle Doche

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Publications

Marielle Doche, Andrew M. Gravell
Extraction of Abstraction Invariants for Data Refinement. ZB (2002)
Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon
A Modular Approach to the Specification and Validation of an Electrical Flight Control System. FME (2001)
Marielle Doche, Virginie Wiels
Extended Institutions for Testing. AMAST (2000)