×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [prototype orchestration]
Documents
Process Analysis Toolkit PAT is A SPIN-like self-contained environment for system specification, visualized simulation and automated verification. PAT
215 views
Documents
Model-based Methods for Web Service Verification
233 views
Documents
Process Analysis Toolkit
42 views
Documents
Model-based Methods for Web Service Verification
20 views