3. PSTV 1983:
Rüschlikon,
Switzerland
Harry Rudin, Colin H. West (Eds.):
Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983.
North-Holland 1983, ISBN 0-444-86769-4 BibTeX
@proceedings{DBLP:conf/pstv/1983,
editor = {Harry Rudin and
Colin H. West},
title = {Protocol Specification, Testing, and Verification, III, Proceedings
of the IFIP WG 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by IBM Research, R{\"u}schlikon,
Switzerland, 31 May - 2 June, 1983},
booktitle = {PSTV},
publisher = {North-Holland},
year = {1983},
isbn = {0-444-86769-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Protocol Theory and Analyses
Specification and Formal Models
Theory and Applications of Petri Nets
Validation and Verification
Protocol Performance
Protocol Design and Implementation
Integrated Systems
- Heiko Krumm, Oswald Drobnik:
Specification, Implementation, and Verification of Communication Services on the Basis of CIL.
301-316 BibTeX
- Robert E. Strom, Shaula Yemini:
Design, Implementation, and Validation of Secure Communications Systems.
317-332 BibTeX
- Jean-Michel Ayache, Jean-Pierre Courtiat:
LC/1, A Specification and Implementation Language for Protocols.
333-345 BibTeX
- Yechiam Yemini, Nihal Nounou:
CUPID: A Protocol Development Environment.
347-355 BibTeX
- Gerard J. Holzmann, Rob A. Beukers:
The Pandora Protocol Development System.
357-368 BibTeX
- Thomas P. Blumer, Deepinder P. Sidhu:
Experience with an Automated Protocol Development System.
369-380 BibTeX
- Jean-Pierre Ansart, V. Chari, D. Simon:
From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language).
381-390 BibTeX
Protocol Testing
Copyright © Sat May 16 23:22:34 2009
by Michael Ley (ley@uni-trier.de)
