Description
Web Services and Formal Methods, 2012
8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Programming and Software Engineering Series
Coordinators: Carbone Marco, Petit Jean-Marc
Language: EnglishSubject for Web Services and Formal Methods:
Keywords
BPEL; data-centric Web services; formal methods; petri nets; verification
Publication date: 04-2012
143 p. · 15.5x23.5 cm · Paperback
143 p. · 15.5x23.5 cm · Paperback
Description
/li>Comment
/li>
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.
Up-to-date results
Fast-track conference proceedings
State-of-the-art research
© 2024 LAVOISIER S.A.S.