Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /

Documenti analoghi

• Formal Methods for Open Object-based Distributed Systems : Volume 1 /
  di: Elie Najm, Jean-Bernard Stefani
  Pubblicazione: (1997)
• Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15.18, 1999, Florence, Italy /
  di: Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri
  Pubblicazione: (1999)
• Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /
  di: Marcello M. Bonsangue, Einar Broch Johnsen
  Pubblicazione: (2007)
• Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
  di: Gilles Barthe, Frank S. Boer
  Pubblicazione: (2008)
• Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6.8, 2000, Stanford, California, USA /
  di: Scott F. Smith, Carolyn L. Talcott
  Pubblicazione: (2000)