A Survey: Applying Formal Methods to a Software Intensive System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings. pages 55-64, IEEE Computer Society, 2001.

This author has not been identified. Look up 'Adriaan de Groot' in GoogleThis author has not been identified. Look up 'Jozef Hooman' in GoogleThis author has not been identified. Look up 'Fabrice Kordon' in GoogleThis author has not been identified. Look up 'Emmanuel Paviot-Adet' in GoogleThis author has not been identified. Look up 'Isabelle Vernier-Mounier' in GoogleThis author has not been identified. Look up 'Michel Lemoine' in GoogleThis author has not been identified. Look up 'Gervais Gaudiére' in GoogleIdentified as Victor L. Winter This author has not been identified. Look up 'Deepak Kapur' in Google

runs on WebDSL