2. PSTV 1982:
Idyllwild,
CA,
USA
Carl A. Sunshine (Ed.):
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.
North-Holland 1982, ISBN 0-444-86481-4 BibTeX
@proceedings{DBLP:conf/pstv/1982,
editor = {Carl A. Sunshine},
title = {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},
booktitle = {PSTV},
publisher = {North-Holland},
year = {1982},
isbn = {0-444-86481-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Temporal Logic
State Transition Specification Methods
- Jonathan Billington:
Specification of the Transport Service Using Numerical Petri Nets.
77-100 BibTeX
- Jean-Pierre Ansart, Omar Rafiq, V. Chari:
PDIL-Protocol Description and Implementation Language.
101-112 BibTeX
- Gerald A. Simon, David J. Kaufman:
An Extended Finite State Machine Approach to Protocol Specification.
113-133 BibTeX
- Thomas F. Piatkowski, Lap-Kin Ip, Dayun He:
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems.
135-160 BibTeX
- Thomas P. Blumer, John C. Burruss:
Generating a Service Specification of a Connection Management Protocol.
161-170 BibTeX
- Gregor von Bochmann, Eduard Cerny, Michel Gagne, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya:
Some Experience with the Use of Formal Specifications.
171-185 BibTeX
Other Specification Methods
Protocol Synthesis
Activity Reports
Verification Methods
Combined Specification and Verification
Testing and Compliance Checking
Copyright © Sat May 16 23:35:25 2009
by Michael Ley (ley@uni-trier.de)
