Web Services and Formal Methods
10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers| By: | null |
| Publisher: | Springer Nature |
| Print ISBN: | 9783319082592 |
| eText ISBN: | 9783319082608 |
| Edition: | 0 |
| Copyright: | 2014 |
| Format: | Reflowable |
Lifetime - $53.99
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
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.