Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Viviana Patti

Verification of Protocol Conformance and Agent Interoperability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Related publications

Verification of Protocol Conformance Test Cases Using Reachability Analysis

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
1992English

Producing Compliant Interactions: Conformance, Coverage, and Interoperability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

On Interoperability and Conformance Assessment in Service Composition

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOCW
Computer NetworksHardwareCommunicationsComputer Science ApplicationsArchitectureTheoretical Computer ScienceSoftware
2007English

Believable Specifications: Organizing and Describing Object Interfaces Using Protocol Conformance.

English

Design and Verification of AMBA APB Protocol

International Journal of Computer Applications
2014English

Protocol Verification in Nuprl

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Verification of Agent-Based Artifact Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
2014English

Service Discovery Protocol Interoperability in the Mobile Environment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy