Isabelle Vernier-Mounier

Publication Activity (10 Years)

Years Active: 1996-2001
Publications (10 Years): 0

Publications

Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon
A Modular Approach to the Specification and Validation of an Electrical Flight Control System. FME (2001)
Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur
A Survey: Applying Formal Methods to a Software Intensive System. HASE (2001)
Isabelle Vernier-Mounier
Symbolic Executions of Symmetrical Parallel Programs. PDP (1996)