Marielle Doche

According to our database, Marielle Doche authored at least 3 papers between 2000 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Extraction of Abstraction Invariants for Data Refinement.

Marielle Doche, Andrew M. Gravell

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001

A Modular Approach to the Specification and Validation of an Electrical Flight Control System.

Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Extended Institutions for Testing.

Marielle Doche, Virginie Wiels

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000