Web services and formal methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /

Web services and formal methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /

Saved in:

Bibliographic Details
Corporate Authors:	WS-FM 2006 Vienna, Austria, SpringerLink (Online service)
Other Authors:	Bravetti, Mario, Nunez, Manuel, Zavattaro, Gianluigi
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin Heidelberg Springer-Verlag 2006
Series:	Lecture Notes in Computer Science, 4184
Subjects:	Web services > Congresses. Formal methods (Computer science) > Congresses.
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Web services and formal methods 5th international workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, revised selected papers /
Published: (2009)

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

FM 2006: formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
Published: (2006)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
Published: (2006)

Formal methods and software engineering /
Published: (2005)

Leveraging applications of formal methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /
Published: (2006)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /
Published: (2006)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Formal approaches to software testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, revised selected papers /
Published: (2005)

Formal approaches to software testing and runtime verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
Published: (2006)

Integrated formal methods 7th International conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009. Proceedings /
Published: (2009)

Formal methods and software engineering /
Published: (2005)

Formal modeling and analysis of timed systems (vol. # 4202) : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
Published: (2006)

Formal aspects in security and trust : third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
Published: (2006)

Formal aspects in security and trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers /
Published: (2009)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings /
Published: (2007)

Formal methods for distributed system development /
Published: (2000)

Formal approaches to software testing (vol. # 3997) : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /
Published: (2006)

Formal methods for web services 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures /
Published: (2009)

Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /

Developments in language theory (vol. # 4036) : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings /
Published: (2006)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems (vol. # 3990) Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings /
Published: (2006)

Grammatical inference: algorithms and applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings /
Published: (2006)

Formal methods for industrial critical systems a survey of applications
Published: (2013)

Formal methods for industrial critical systems a survey of applications
Published: (2013)

Developments in language theory 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings /
Published: (2008)

Developments in language theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007: Proceedings /
Published: (2007)

Developments in language theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
by: Harju, Tero
Published: (2007)

Developments in language theory 14th international conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings /
Published: (2010)

Formal methods in computer-aided design : proceedings of the 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 /
Published: (2002)

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1
Published: (2001)

Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, proceedings
Published: (2005)

Automata, languages and programming : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Recent advances in formal languages and applications /
Published: (2006)

Non-formal education : flexible schooling or participatory education? /
by: Rogers, Alan
Published: (2005)

Formal models of agents : ESPRIT Project ModelAge final workshop selected papers /
Published: (1999)

Automata, languages and programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.
Published: (2006)

Automata, languages and programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.
Published: (2006)