Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alberto Martelli
Verification of Protocol Conformance and Agent Interoperability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Communicating Agents by Model Checking in a Temporal Action Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verification of Protocol Conformance Test Cases Using Reachability Analysis
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Producing Compliant Interactions: Conformance, Coverage, and Interoperability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Interoperability and Conformance Assessment in Service Composition
Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOCW
Computer Networks
Hardware
Communications
Computer Science Applications
Architecture
Theoretical Computer Science
Software
Believable Specifications: Organizing and Describing Object Interfaces Using Protocol Conformance.
Design and Verification of AMBA APB Protocol
International Journal of Computer Applications
Protocol Verification in Nuprl
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Agent-Based Artifact Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
Service Discovery Protocol Interoperability in the Mobile Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
