Web Services and Formal Methods
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
AvMaurice H. ter Beek,Niels Lohmann
Häftad, Engelska, 2013
Del i serien Lecture Notes in Computer Science
515 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 171
Del 9933
Critical Systems: Formal Methods and Automated Verification
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Häftad, 2016
559 kr
From Software Engineering to Formal Methods and Tools, and Back
Laura Semini, Alessandro Fantechi, Maurice H. ter Beek
E-bok
2019734 kr
Journeys Between Formal Methods and the Railway Industry
Laura Semini, Anne E. Haxthausen, Stefania Gnesi, Maurice H. ter Beek
E-bok
20261 377 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Simon Collart-Dutilleul, Maurice H. ter Beek
E-bok
2025815 kr
Critical Systems: Formal Methods and Automated Verification
Alexander Knapp, Stefania Gnesi, Maurice H. ter Beek
E-bok
2016734 kr
Journeys Between Formal Methods and the Railway Industry
Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini
Häftad, 2026
1 090 kr