Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thomas F. Piatkowski, Lap-Kin Ip, Dayun He |
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Behçet Sarikaya, Gregor von Bochmann |
Some Experience with Test Sequence Generation for Protocols. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Yao-Tin Yu, Mohamed G. Gouda |
Deadlock Detection for a Class of Communicating Finite State Machine. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Yechiam Yemini, James F. Kurose |
Towards the Unification of the Functional and Performance Analysis of Protocols, or is the Alternating-Bit Protocol Really Correct?. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Ansart, Omar Rafiq, V. Chari |
PDIL-Protocol Description and Implementation Language. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | William T. Overman, Stephen D. Crocker |
Verification of Concurrent Systems: Function and Timing. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Luigi Logrippo, Robert L. Probert |
Protocol/Specification-Level Validation. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | J. Stephen Nightingale |
Protocol Testing Using A Reference Implementation. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Rami R. Razouk |
Modeling X.25 Using the Graph Model of Behavior. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | David Rayner |
A System for Testing Protocol Implementations. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Carl A. Sunshine |
Experience with Four Automated Verification Systems. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Friedrich H. Vogt |
Event-Based Temporal Logic Specifications of Services and Protocols. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Gesualdo Le Moli, Sergio Palazzo, Gaetano Andreoni |
A Model of Entity for the Definition of Protocols, Services, and Interfaces. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Gerald A. Simon, David J. Kaufman |
An Extended Finite State Machine Approach to Protocol Specification. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Raimo Kujansuu, Leo Ojala, Heikki Tuominen |
The Development of Tools for Verification and Validation of Communication Protocols. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Richard W. Watson |
An Experience in Transport Protocol Specification Using an Algorithmic Programming Language. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya |
Some Experience with the Use of Formal Specifications. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Thomas P. Blumer, John C. Burruss |
Generating a Service Specification of a Connection Management Protocol. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Krishan K. Sabnani, Mischa Schwartz |
Verification of a Multidestination Protocol Using Temporal Logic. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda, Bijendra N. Jain |
Necessary and Sufficient Conditions to Detect Message Duplication in Protocol Hierarchies. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Carl A. Sunshine (eds.) |
Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982 |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Gerard J. Holzmann |
Algebraic Validation Methods-A Comparison of Three Techniques. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Rune Gustavsson, Joachim Parrow, Björn Pehrson |
An Integrated Approach to Protocol Design Research. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Ansart |
GENEPI/A-A Protocol Independent System for Testing Protocol Implementation. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Hassan K. Reghbati |
Performance Analysis of Message-Based Systems. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Yogen K. Dalal |
Service Specifications for Recursively-Defined Protocols. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Gary Jones |
The Total Correctness of Communication Protocols. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Benedetto L. DiVito |
Integrated Methods for Protocol Specification and Verification. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Rainer Prinoth |
An Algorithm to Construct Distributed Systems from State-Machines. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Colin H. West |
Applications and Limitations of Automated Protocol Validation. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Ansart, J. Damidau |
CERBERE, A Tool to Keep an Eye on High Level Protocols. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Deepinder P. Sidhu |
Protocol Design Rules. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Michel Diaz |
Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | James F. Kurose |
The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Lawrence Yelowitz, Susan L. Gerhart, G. Hilborn |
Modeling a Network Protocol in AFFIRM and Ada. |
PSTV |
1982 |
DBLP BibTeX RDF |
|
1 | Richard L. Schwartz, P. M. Melliar-Smith |
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. |
PSTV |
1982 |
DBLP BibTeX RDF |
|