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
Langue : Anglais
Coordonnateurs : Carbone Marco, Petit Jean-Marc
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
Date de parution : 04-2012
Ouvrage de 143 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de Web Services and Formal Methods :
Mots-clés :
BPEL; data-centric Web services; formal methods; petri nets; verification
© 2024 LAVOISIER S.A.S.