Gervais Gaudiére

Publication Activity (10 Years)

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

Publications

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)