Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings /

Documenti analoghi

• Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
  di: Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro
  Pubblicazione: (2006, c2006)
• Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers /
  di: Mario Bravetti, Tevfik Bultan
  Pubblicazione: (2011, c2011)
• Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
  di: Martin Steffen, Gianluigi Zavattaro
  Pubblicazione: (2005, c2005)
• FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
  di: John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
  Pubblicazione: (2005, c2005)
• Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers /
  Pubblicazione: (2014, c2014)