- 1982
- Jean-Pierre Ansart:
GENEPI/A-A Protocol Independent System for Testing Protocol Implementation. PSTV 1982: 523-528 - Jean-Pierre Ansart, J. Damidau:
CERBERE, A Tool to Keep an Eye on High Level Protocols. PSTV 1982: 529-537 - Jean-Pierre Ansart, Omar Rafiq, V. Chari:
PDIL-Protocol Description and Implementation Language. PSTV 1982: 101-112 - Wulf L. Bauerfeld:
A Hybrid Model for Protocols and Services: Verification and Simulation by a Modified Depth-First Search Algorithm. PSTV 1982: 451-464 - Gérard Berthelot, Richard Terrat:
Petri Nets Theory for the Correctness of Protocols. PSTV 1982: 325-342 - Jonathan Billington:
Specification of the Transport Service Using Numerical Petri Nets. PSTV 1982: 77-100 - Thomas P. Blumer, John C. Burruss:
Generating a Service Specification of a Connection Management Protocol. PSTV 1982: 161-170 - 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: 171-185 - Yogen K. Dalal:
Service Specifications for Recursively-Defined Protocols. PSTV 1982: 305-308 - Benedetto L. DiVito:
Integrated Methods for Protocol Specification and Verification. PSTV 1982: 411-433 - Michel Diaz:
Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. PSTV 1982: 465-510 - Mohamed G. Gouda, Bijendra N. Jain:
Necessary and Sufficient Conditions to Detect Message Duplication in Protocol Hierarchies. PSTV 1982: 317 - Rune Gustavsson, Joachim Parrow, Björn Pehrson:
An Integrated Approach to Protocol Design Research. PSTV 1982: 309-310 - Gerard J. Holzmann:
Algebraic Validation Methods-A Comparison of Three Techniques. PSTV 1982: 383-390 - Gary Jones:
The Total Correctness of Communication Protocols. PSTV 1982: 391-400 - Raimo Kujansuu, Leo Ojala, Heikki Tuominen:
The Development of Tools for Verification and Validation of Communication Protocols. PSTV 1982: 311-313 - James F. Kurose:
The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic. PSTV 1982: 43-62 - Simon S. Lam, A. Udaya Shankar:
An Illustration of Protocol Projections. PSTV 1982: 343-360 - Luigi Logrippo, Robert L. Probert:
Protocol/Specification-Level Validation. PSTV 1982: 303-304 - Gesualdo Le Moli, Sergio Palazzo, Gaetano Andreoni:
A Model of Entity for the Definition of Protocols, Services, and Interfaces. PSTV 1982: 249-258 - J. Stephen Nightingale:
Protocol Testing Using A Reference Implementation. PSTV 1982: 513-522 - William T. Overman, Stephen D. Crocker:
Verification of Concurrent Systems: Function and Timing. PSTV 1982: 401-409 - 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: 135-160 - Rainer Prinoth:
An Algorithm to Construct Distributed Systems from State-Machines. PSTV 1982: 261-282 - David Rayner:
A System for Testing Protocol Implementations. PSTV 1982: 539-554 - Rami R. Razouk:
Modeling X.25 Using the Graph Model of Behavior. PSTV 1982: 197-214 - Hassan K. Reghbati:
Performance Analysis of Message-Based Systems. PSTV 1982: 321-324 - Krishan K. Sabnani, Mischa Schwartz:
Verification of a Multidestination Protocol Using Temporal Logic. PSTV 1982: 21-41 - Behçet Sarikaya, Gregor von Bochmann:
Some Experience with Test Sequence Generation for Protocols. PSTV 1982: 555-567 - Richard L. Schwartz, P. M. Melliar-Smith:
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. PSTV 1982: 3-19
