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 /

Benzer Materyaller

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