×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [model checkingbased]
Documents
Haley: A Hierarchical Framework for Logical Composition of Web Services
33 views
Documents
An environment for Interactive Service Specification Laboratoire LSR Logiciels Systèmes Réseaux Software, Systems, Networks K. Berkani, R. Cave, S. Coudert,
213 views
Documents
An environment for Interactive Service Specification
45 views