Web Services and Formal Methods
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
AvNiels Lohmann,Maurice H. ter Beek
E-bok
PDF, Engelska, 2013629 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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
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
561 kr
From Software Engineering to Formal Methods and Tools, and Back
Laura Semini, Alessandro Fantechi, Maurice H. ter Beek
E-bok
2019708 kr
Journeys Between Formal Methods and the Railway Industry
Laura Semini, Anne E. Haxthausen, Stefania Gnesi, Maurice H. ter Beek
E-bok
20261 329 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Simon Collart-Dutilleul, Maurice H. ter Beek
E-bok
2025786 kr
Critical Systems: Formal Methods and Automated Verification
Alexander Knapp, Stefania Gnesi, Maurice H. ter Beek
E-bok
2016708 kr
Journeys Between Formal Methods and the Railway Industry
Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini
Häftad, 2026
1 092 kr