5. PSTV 1985:
Toulouse-Moissac,
France
Michel Diaz (Ed.):
Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985.
North-Holland 1985, ISBN 0-444-87881-5 BibTeX
@proceedings{DBLP:conf/pstv/1985,
editor = {Michel Diaz},
title = {Protocol Specification, Testing and Verification V, Proceedings
of the IFIP WG6.1 Fifth International Conference on Protocol
Specification, Testing and Verification, Toulouse-Moissac, France,
June 10-13, 1985},
booktitle = {PSTV},
publisher = {North-Holland},
year = {1985},
isbn = {0-444-87881-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Specification
- Chris A. Vissers, Luigi Logrippo:
The importance of the service concept in the design of data communications protocols.
3-17 BibTeX
- Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth:
Building blocks for distributed system design.
19-38 BibTeX
- Otto Haas:
Formal protocol specification based on attribute grammars.
39-48 BibTeX
- E. Timothy Morgan, Rami R. Razouk:
Computer-aided analysis of concurrent systems.
49-58 BibTeX
- Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman:
Automated protocol verification.
59-70 BibTeX
- Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron:
Verification of protocol specificaitons using the CESAR system.
71-90 BibTeX
- Günter Karjoth:
An interactive system for the analysis of communicating processes.
91-102 BibTeX
- Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso:
General presentation of SCAN. A distributed systems modelling and validation tool.
103-118 BibTeX
- Pierre Azéma, Giorgos Papapanagiotakis:
Protocol analysis by using predicate nets.
119-130 BibTeX
- Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural:
Use of Prolog for building protocol design tools.
131-147 BibTeX
- N. Choquet, Laurent Fribourg, A. Mauboussin:
Runnable protocol specifications using the logic interpreter SLOG.
149-168 BibTeX
Language
Simulation
Comparison of FDT
- R. C. Venkatraman, Thomas F. Piatkowski:
A formal comparison of formal protocol specification techniques.
401-420 BibTeX
- Ari Ahtiainen, S. Alfonzetti, V. Chari, Mats Daniels, Michel Diaz, Alberto Faro, Hans A. Hansson, Guy Juanole, Ulla Karjalainen, Gesualdo Le Moli, Juhani Malka, Sergio Palazzo, Orlando Pereda:
An approach for evaluating formal description techniques.
421-438 BibTeX
Testing
- D. Rayner:
Towards standardized OSI conformance tests.
441-460 BibTeX
- Heinz Jürgen Burkhardt, Hans Eckert, Alfred Giessler:
Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications.
461-481 BibTeX
- Rachida Dssouli, Gregor von Bochmann:
Error detection with multiple observers.
483-494 BibTeX
- R. Molva, Michel Diaz, Jean-Michel Ayache:
Observer: a run-time checking tool for local area networks.
495-506 BibTeX
- Brigitte Lonc:
GENEPIX: a portable version under UNIX of the OSI protocol tester GENEPI.
507-518 BibTeX
- H. X. Zeng, D. Rayner:
The impact of the Ferry concept on protocol testing.
519-531 BibTeX
- Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu:
Towards an environment for testing OSI protocols.
533-544 BibTeX
Copyright © Sat May 16 23:35:25 2009
by Michael Ley (ley@uni-trier.de)