Verification of communication protocols in web services

model-checking service compositions

Verfasser / Beitragende:
Zahir Tari, Peter Bertok, Anshuman Mukherjee
Ort, Verlag, Jahr:
Hoboken, N.J : Wiley, 2014
Beschreibung:
Online-Ressource
Format:
Buch (online)
Online Zugang:
ID: 314711775

Keine Exemplare vorhanden

Es sind keine Exemplare vorhanden