Gervais Gaudiére

According to our database, Gervais Gaudiére authored at least 2 papers between 2001 and 2004.

Collaborative distances:

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

2004

From UML to Z.

Michel Lemoine, Gervais Gaudiére

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2001

A Survey: Applying Formal Methods to a Software Intensive System.

Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001