Marielle Doche
According to our database1,
Marielle Doche
authored at least 3 papers
between 2000 and 2002.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2002
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.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001
2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000