Verification of communication protocols in web services
model-checking service compositions
Gespeichert in:
Verfasser / Beitragende:
Zahir Tari, Peter Bertok, Anshuman Mukherjee
Ort, Verlag, Jahr:
Hoboken, N.J :
Wiley,
2014
Beschreibung:
Online-Ressource
Format:
Buch (online)
Online Zugang: