×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [prototype orchestration]
Process Analysis Toolkit PAT is A SPIN-like self-contained environment for system specification, visualized simulation and automated verification. PAT
215 views
Model-based Methods for Web Service Verification
233 views
Process Analysis Toolkit
42 views
Model-based Methods for Web Service Verification
20 views