default search action
5th PSTV 1985: Toulouse-Moissac, France
- Michel Diaz:
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
Specification
- Chris A. Vissers, Luigi Logrippo:
The importance of the service concept in the design of data communications protocols. PSTV 1985: 3-17 - Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth:
Building blocks for distributed system design. PSTV 1985: 19-38 - Otto Haas:
Formal protocol specification based on attribute grammars. PSTV 1985: 39-48 - E. Timothy Morgan, Rami R. Razouk:
Computer-aided analysis of concurrent systems. PSTV 1985: 49-58 - Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman:
Automated protocol verification. PSTV 1985: 59-70 - Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron:
Verification of protocol specificaitons using the CESAR system. PSTV 1985: 71-90 - Günter Karjoth:
An interactive system for the analysis of communicating processes. PSTV 1985: 91-102 - Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso:
General presentation of SCAN. A distributed systems modelling and validation tool. PSTV 1985: 103-118 - Pierre Azéma, Giorgos Papapanagiotakis:
Protocol analysis by using predicate nets. PSTV 1985: 119-130 - Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural:
Use of Prolog for building protocol design tools. PSTV 1985: 131-147 - N. Choquet, Laurent Fribourg, Anne Mauboussin:
Runnable protocol specifications using the logic interpreter SLOG. PSTV 1985: 149-168
Language
- Ed Brinksma:
A tutorial on LOTOS. PSTV 1985: 171-194 - Antonella Di Stefano, Michele Malgeri, Orazio Mirabella:
A specification of a PROWAY protocol with an Algebraic language. PSTV 1985: 195-213 - Guy Leduc:
Assessing the service provided by a connection-less protocol. PSTV 1985: 215-234 - Cécile Roisin:
Protocol description with the OCCAM language. PSTV 1985: 235-246 - Richard Castanet, A. Dupeux, Pascal Guitton:
ADA, a well suited language for specification and implementation of protocols. PSTV 1985: 247-258 - Hans A. Hansson:
Automatic implementation of formal descriptions of communication protocols. PSTV 1985: 259-270 - Richard J. Linn Jr.:
The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model. PSTV 1985: 271-296 - Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache:
A simulation environment for protocol specifications described in ESTELLE. PSTV 1985: 297-312
Simulation
- Claude Jard, Jean-François Monin, Roland Groz:
Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. PSTV 1985: 315-331 - Wolfgang Fischer, Klaus Sauer, W. Denzel:
A simulation technique for communications protocols based on a formal specification by SDL. PSTV 1985: 333-347 - Jan R. Engelbrecht, Pieter S. Kritzinger, Harry Rudin:
Predicting protocol performance from a meta-implementation. PSTV 1985: 349-362 - Alain Dupuis, Gérard Hébuterne:
On the use of quantitative evaluation to assess and study distributed algorithms properties. PSTV 1985: 363-373 - C. Murray Woodside, J. R. Montealegre:
On packet buffering and protocol performance. PSTV 1985: 375-386 - Chau Chun Hung:
CCS used as a proof-assistant tool. PSTV 1985: 387-398
Comparison of FDT
- R. C. Venkatraman, Thomas F. Piatkowski:
A formal comparison of formal protocol specification techniques. PSTV 1985: 401-420 - 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. PSTV 1985: 421-438
Testing
- D. Rayner:
Towards standardized OSI conformance tests. PSTV 1985: 441-460 - Heinz Jürgen Burkhardt, Hans Eckert, Alfred Giessler:
Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications. PSTV 1985: 461-481 - Rachida Dssouli, Gregor von Bochmann:
Error detection with multiple observers. PSTV 1985: 483-494 - R. Molva, Michel Diaz, Jean-Michel Ayache:
Observer: a run-time checking tool for local area networks. PSTV 1985: 495-506 - Brigitte Lonc:
GENEPIX: a portable version under UNIX of the OSI protocol tester GENEPI. PSTV 1985: 507-518 - H. X. Zeng, D. Rayner:
The impact of the Ferry concept on protocol testing. PSTV 1985: 519-531 - Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu:
Towards an environment for testing OSI protocols. PSTV 1985: 533-544
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: