Formal Methods: Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected /

Documenti analoghi

• FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
  di: Jayadev Misra, Tobias Nipkow, Emil Sekerinski
  Pubblicazione: (2006, c2006)
• Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings /
  di: Mariëlle Stoelinga, Ralf Pinger
  Pubblicazione: (2012, c2012)
• Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings /
  di: Gwen Salaün, Bernhard Schätz
  Pubblicazione: (2011, c2011)
• Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
  di: Judi Romijn, Graeme Smith, Jaco Pol
  Pubblicazione: (2005, c2005)
• Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /
  di: Zhiming Liu, Jifeng He
  Pubblicazione: (2006, c2006)