This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
Reihe
Sprache
Verlagsort
Verlagsgruppe
Springer International Publishing
Illustrationen
37
37 s/w Abbildungen
IX, 189 p. 37 illus.
Dateigröße
ISBN-13
978-3-319-08260-8 (9783319082608)
DOI
10.1007/978-3-319-08260-8
Schweitzer Klassifikation
