Search alternatives:
"protocol" » "protocols"
Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... proposal for the prevention of a class of service interactions in intelligent networks -- INAP protocol...”
Cover Image
Read Now

2
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Algorithms in Automated Assume-Guarantee Reasoning -- Inferring Compact Models of Communication Protocol...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Joint Session with TPHOLs -- Parameterized Verification of the FLASH Cache Coherence Protocol...”
Cover Image
Read Now

4
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Verifying Interaction Protocol Compliance of Service Orchestrations -- Specify Once Test Everywhere...”
Cover Image
Read Now

5
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Protocol in the Timed OTS/CafeOBJ...”
Cover Image
Read Now

6
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... Protocol using FDR -- Automatic compositional verification of some Security properties -- Permutable agents...”
Cover Image
Read Now

7
Published 2018
Springer International Publishing
Table of Contents: “...Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons...”
Cover Image
Read Now

8
Published 2024
Springer Nature Switzerland
Table of Contents: “... for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example --...”
Cover Image
Read Now

9
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... Techniques -- An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols...”
Cover Image
Read Now

10
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Specification Based Conformance Testing for Email Protocols -- Covering Arrays Generation Methods Survey...”
Cover Image
Read Now

11
Published 2016
Springer International Publishing
Table of Contents: “... to Combine Automatic and Interactive Verification Techniques -- Security and Privacy of Protocols...”