×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [model checkingbased]
Haley: A Hierarchical Framework for Logical Composition of Web Services
33 views
An environment for Interactive Service Specification Laboratoire LSR Logiciels Systèmes Réseaux Software, Systems, Networks K. Berkani, R. Cave, S. Coudert,
213 views
An environment for Interactive Service Specification
45 views