The top documents tagged [actors analysis]

Verification of Web Services Jianwen Su University of California, Santa Barbara.

Verification of Web Services Jianwen Su University of California, Santa Barbara.

219 views
CEWS Handbook Version 1.0

CEWS Handbook Version 1.0

49 views
Web Services: Formal Modeling and Analysis Jianwen Su University of California, Santa Barbara.

Web Services: Formal Modeling and Analysis Jianwen Su University of California, Santa Barbara.

217 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS