Publikationer
(4)- Udgivet
Tool Supported Analysis of Web Services Protocols
Publikation: Forskning - peer review › Konferenceartikel i proceeding
- Udgivet
Modelling and Verification of Web Services Business Activity Protocol
Publikation: Forskning - peer review › Konferenceartikel i proceeding
- Udgivet
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL
Publikation: Forskning - peer review › Konferenceartikel i tidsskrift
Mest anvendte forlag
Technical University of Denmark, 978-87-91435, 87-90288, 978-87-90288, 87-989117, 87-7877, 87-7740, 978-87-92180, 978-87-90855, 87-89502, 87-7748, 978-87-7877
Lokal database
Forlag
Mest anvendte tidsskrifter
Seneste aktiviteter og konferencer
Indlæser lokationer...
ID: 17168469
