Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Willem Hengeveld, Jan Kroon |
Using Checking Sequences for OSI Session Layer Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 435-449, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Johannes Freudenmann |
Development of Communication Software by Stepwise Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 391-404, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Harry Rudin |
Note on the Early History of Layered Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 453-454, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Pieter S. Kritzinger |
Protocol Performance Using Image Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 321-335, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Ana R. Cavalli, François Horn |
Proof of Specification Properties by Using Finite State Machines and Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 221-233, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron |
Verification in XESAR of the Sliding Window Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 235-248, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Erwin P. Rathgeb, Christian Homann, Hong Linh Truong 0002, Gerd Waldmann |
Protocol Testing for the ISDN D-Channel Network Layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 421-434, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Yasuhiro Ohara, Shizuo Yoshitake, Tsukasa Kawaoka |
Protocol Conversion Method for Heterogeneous Systems Interconnection in Multi-Profile Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 405-418, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Gerard J. Holzmann |
On Limits and Possibilities of Automated Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 339-344, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Lothar F. Mackert, Iris B. Neumeier-Mackert |
Communicating Rule Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 77-88, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | K. H. Muralidhar |
Network Management and Directory Services Test System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 359-372, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Abdellatif Obaid, Luigi Logrippo |
An Atomic Calculus of Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 91-104, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Courtiat |
How Could Estelle Become a Better FDT? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 43-60, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Harry Rudin, Colin H. West (eds.) |
Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![North-Holland, 0-444-70293-8 The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani |
Translation of Formal Protocol Specifications to VLSI Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 375-390, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Elie Najm |
A Verification Oriented Specification in LOTOS of the Transport Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 181-203, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Albert Fleischmann |
PASS - A Technique for Specifying Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987, pp. 61-76, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth |
Building blocks for distributed system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 19-38, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Richard Castanet, A. Dupeux, Pascal Guitton |
ADA, a well suited language for specification and implementation of protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 247-258, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | R. Molva, Michel Diaz, Jean-Michel Ayache |
Observer: a run-time checking tool for local area networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 495-506, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Omar Rafiq, Richard Castanet, Chakib Chraibi, J. P. Goursaud, J. Haddad, X. Perdu |
Towards an environment for testing OSI protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 533-544, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | R. C. Venkatraman, Thomas F. Piatkowski |
A formal comparison of formal protocol specification techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 401-420, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Michel Diaz (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![North-Holland, 0-444-87881-5 The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Chau Chun Hung |
CCS used as a proof-assistant tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 387-398, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Yechiam Yemini, Robert E. Strom, Shaula Yemini (eds.) |
Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![North-Holland, 0-444-87676-6 The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | N. Choquet, Laurent Fribourg, Anne Mauboussin |
Runnable protocol specifications using the logic interpreter SLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 149-168, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman |
Automated protocol verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 59-70, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron |
Verification of protocol specificaitons using the CESAR system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 71-90, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | E. Timothy Morgan, Rami R. Razouk |
Computer-aided analysis of concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 49-58, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache |
A simulation environment for protocol specifications described in ESTELLE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 297-312, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Pierre Azéma, Giorgos Papapanagiotakis |
Protocol analysis by using predicate nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 119-130, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma |
A tutorial on LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 171-194, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | H. X. Zeng, D. Rayner |
The impact of the Ferry concept on protocol testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 519-531, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Brigitte Lonc |
GENEPIX: a portable version under UNIX of the OSI protocol tester GENEPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 507-518, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Rachida Dssouli, Wanderley Lopes de Souza, Behçet Sarikaya, Hasan Ural |
Use of Prolog for building protocol design tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 131-147, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 421-438, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | C. Murray Woodside, J. R. Montealegre |
On packet buffering and protocol performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 375-386, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso |
General presentation of SCAN. A distributed systems modelling and validation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 103-118, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Cécile Roisin |
Protocol description with the OCCAM language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 235-246, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Heinz Jürgen Burkhardt, Hans Eckert, Alfred Giessler |
Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 461-481, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Claude Jard, Jean-François Monin, Roland Groz |
Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 315-331, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Hans A. Hansson |
Automatic implementation of formal descriptions of communication protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 259-270, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Antonella Di Stefano, Michele Malgeri, Orazio Mirabella |
A specification of a PROWAY protocol with an Algebraic language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 195-213, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Günter Karjoth |
An interactive system for the analysis of communicating processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 91-102, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Jan R. Engelbrecht, Pieter S. Kritzinger, Harry Rudin |
Predicting protocol performance from a meta-implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 349-362, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Richard J. Linn Jr. |
The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 271-296, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Otto Haas |
Formal protocol specification based on attribute grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 39-48, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Guy Leduc |
Assessing the service provided by a connection-less protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 215-234, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Chris A. Vissers, Luigi Logrippo |
The importance of the service concept in the design of data communications protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 3-17, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Alain Dupuis, Gérard Hébuterne |
On the use of quantitative evaluation to assess and study distributed algorithms properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 363-373, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | D. Rayner |
Towards standardized OSI conformance tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 441-460, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Rachida Dssouli, Gregor von Bochmann |
Error detection with multiple observers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 483-494, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | Wolfgang Fischer 0002, Klaus Sauer, W. Denzel |
A simulation technique for communications protocols based on a formal specification by SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 333-347, 1985, North-Holland, 0-444-87881-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
1 | David P. Anderson, Lawrence H. Landweber |
Protocol Specification by Real-Time Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 457-465, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | John R. Pavel, Dermot J. Dwyer |
Some Experiences of Testing Protocol Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 657-677, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Giuseppe Scollo, Antonio Anzalone, Paolo Finocchiaro, Francesco Giustolisi, Giovanni Raciti |
Specification and Implementation of the MONDAN System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 395-422, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Robert E. Strom, Shaula Yemini |
Synthesizing Distributed Protocols from Serial Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 443-456, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | J. Bremer, G. Mondvai, Katalin Tarnay, J. Tibor |
Some Experiences with Test Sequence Generation in Application Layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 623-636, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Luigi Logrippo, Didier Simon, Hasan Ural |
Executable Description of the OSI Transport Service in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 279-293, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | H. X. Zeng, D. Rayner |
Gateway Testing Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 637-655, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | A. Udaya Shankar, Simon S. Lam |
Specification and Verification of Time-Dependant Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 215-226, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Stanislaw Budkowski |
Generation of a Global System Description from the Descriptions of Cooperating Subsystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 467-487, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Wolfgang Jürgensen, Son T. Vuong |
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 253-277, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Harry Rudin |
An Improved Algorithm for Estimating Protocol Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 515-525, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Richard Castanet, Pascal Guitton, Omar Rafiq |
An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 111-125, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | S. Aggarwal, Robert P. Kurshan |
Automated Implementation from Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 127-136, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Marshall T. Rose |
Modeling of Initial Connection Handling in TCP Using Contour/Transition Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 193-211, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Nihal Nounou, Yechiam Yemini |
Algebraic Specification-Based Performance Analysis of Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 541-560, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth |
Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 165-192, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Joachim Parrow, Rune Gustavsson |
Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 309-348, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Tommaso Bolognesi, Harry Rudin |
On the Analysis of Time-Dependent Protocols by Network Flow Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 491-513, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Daniel Schwabe, Ana R. Cavalli |
Temporal Logic Specification of a Virtual Ring LAN Access Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 79-91, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Eduard Cerny, George Walter Gerber, Rachida Dssouli, Michel Maksud, B. H. Phan, Behçet Sarikaya, Jean-Marc Serre |
Use of Formal Specifications for Protocol Design, Implementation and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 137-144, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Elie Najm |
Verification of Distributed Systems Using Structured Communicating Agents Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 295-308, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Wojciech Cellary, Maciej Stroinski |
Performance Parameters of Computer Network Protocols Refered to Their Formal Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 681-696, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Gerard J. Holzmann |
Backward Symbolic Execution of Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 19-30, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Richard J. Linn Jr. |
An Evaluation of the ICST Test Architecture after Testing Class 4 Transport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 611-621, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Vincenza Carchiolo, Gesualdo Le Moli, Sergio Palazzo, Giuseppe Pappalardo |
Modelling and Specifying a Presentation Protocol by Temporal Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 423-440, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Heiko Krumm, Oswald Drobnik |
Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 31-45, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Rami R. Razouk, Charles V. Phelps |
Performance Analysis Using Timed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 561-576, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Jürgen Hänle |
The Teletex Test System PETRUS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 603-610, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Scott A. Smolka, Ariel J. Frank, Saumya K. Debray |
Testing Protocol Robustness the CCS Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 93-108, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Björn Pehrson, Michael Yoeli |
A Communicating System Net Model for Specification and Verification of Distributed Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 383-394, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Deepinder P. Sidhu, Thomas P. Blumer |
Some Problems with the Specification of the Military Standard Transmission Control Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 375-381, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma, Günter Karjoth |
A Specification of the OSI Transport Service in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 227-251, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda, Ching-Hua Chow, Simon S. Lam |
On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 47-56, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Mats Daniels, Hans A. Hansson |
An ASYL/EFSM Description of the ISO Transport Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 349-373, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Mostafa Hashem Sherif, V. Miller, E. Woo |
X.25 Protocol Verification Facility for AT&T No.1 Packet Switching System (No. 1 PSS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 69-77, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Michal Sajkowski |
Protocol Verification Techniques: Status Quo and Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 697-720, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Isabelle Valet, Dominique Rerat |
Formal Description of the Nadir Transport Protocol Using the PDIL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 147-163, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Ching-Hua Chow, Mohamed G. Gouda, Simon S. Lam |
On Constructing Multi-Phase Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 57-68, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Pieter S. Kritzinger |
Analyzing the Time Efficiency of a Communication Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 527-539, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Roland Groz, Claude Jard, Claire Lassudrie |
Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 3-17, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Guy Juanole |
Reliability of a Data Link Service: Modelling Methodology - Protocols Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984, pp. 577-600, 1984, North-Holland, 0-444-87676-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![North-Holland, 0-444-86769-4 The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
1 | A. Udaya Shankar, Simon S. Lam |
On Time-Dependent Communication Protocols and Their Projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 215-235, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Simon S. Lam, A. Udaya Shankar |
An Illustration of Protocol Projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 343-360, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Wulf L. Bauerfeld |
A Hybrid Model for Protocols and Services: Verification and Simulation by a Modified Depth-First Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 451-464, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Gérard Berthelot, Richard Terrat |
Petri Nets Theory for the Correctness of Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 325-342, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Jonathan Billington |
Specification of the Transport Service Using Numerical Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 77-100, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|