Verification of communication protocols in web services : model-checking service compositions

著者

    • Tari, Zahir
    • Bertók, Péter
    • Mukherjee, Anshuman

書誌事項

Verification of communication protocols in web services : model-checking service compositions

Zahir Tari, Peter Bertok, Anshuman Mukherjee

(Wiley series on parallel and distributed computing, 83)

John Wiley & Sons, c2014

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ