Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thomas F. Piatkowski, Lap-Kin Ip, Dayun He |
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. ![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. 135-160, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Behçet Sarikaya, Gregor von Bochmann |
Some Experience with Test Sequence Generation for 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. 555-567, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Yao-Tin Yu, Mohamed G. Gouda |
Deadlock Detection for a Class of Communicating Finite State Machine. ![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. 319, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Yechiam Yemini, James F. Kurose |
Towards the Unification of the Functional and Performance Analysis of Protocols, or is the Alternating-Bit Protocol Really Correct?. ![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. 189-196, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Ansart, Omar Rafiq, V. Chari |
PDIL-Protocol Description and Implementation Language. ![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. 101-112, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | William T. Overman, Stephen D. Crocker |
Verification of Concurrent Systems: Function and Timing. ![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. 401-409, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Luigi Logrippo, Robert L. Probert |
Protocol/Specification-Level Validation. ![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. 303-304, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | J. Stephen Nightingale |
Protocol Testing Using A Reference Implementation. ![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. 513-522, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Rami R. Razouk |
Modeling X.25 Using the Graph Model of Behavior. ![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. 197-214, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | David Rayner |
A System for Testing Protocol Implementations. ![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. 539-554, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Carl A. Sunshine |
Experience with Four Automated Verification Systems. ![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. 373-379, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Friedrich H. Vogt |
Event-Based Temporal Logic Specifications of Services and 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. 63-73, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Gesualdo Le Moli, Sergio Palazzo, Gaetano Andreoni |
A Model of Entity for the Definition of Protocols, Services, and Interfaces. ![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. 249-258, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Gerald A. Simon, David J. Kaufman |
An Extended Finite State Machine Approach to Protocol Specification. ![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. 113-133, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Raimo Kujansuu, Leo Ojala, Heikki Tuominen |
The Development of Tools for Verification and Validation of Communication 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. 311-313, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Richard W. Watson |
An Experience in Transport Protocol Specification Using an Algorithmic Programming Language. ![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. 237-247, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya |
Some Experience with the Use of Formal Specifications. ![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. 171-185, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Thomas P. Blumer, John C. Burruss |
Generating a Service Specification of a Connection Management Protocol. ![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. 161-170, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Krishan K. Sabnani, Mischa Schwartz |
Verification of a Multidestination Protocol Using Temporal Logic. ![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. 21-41, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda, Bijendra N. Jain |
Necessary and Sufficient Conditions to Detect Message Duplication in Protocol Hierarchies. ![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. 317, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Carl A. Sunshine (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![North-Holland, 0-444-86481-4 The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Gerard J. Holzmann |
Algebraic Validation Methods-A Comparison of Three Techniques. ![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. 383-390, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Rune Gustavsson, Joachim Parrow, Björn Pehrson |
An Integrated Approach to Protocol Design Research. ![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. 309-310, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Ansart |
GENEPI/A-A Protocol Independent System for Testing Protocol Implementation. ![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. 523-528, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Hassan K. Reghbati |
Performance Analysis of Message-Based Systems. ![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. 321-324, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Yogen K. Dalal |
Service Specifications for Recursively-Defined 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. 305-308, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Gary Jones |
The Total Correctness of Communication 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. 391-400, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Benedetto L. DiVito |
Integrated Methods for Protocol Specification and Verification. ![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. 411-433, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Rainer Prinoth |
An Algorithm to Construct Distributed Systems from State-Machines. ![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. 261-282, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Colin H. West |
Applications and Limitations of Automated Protocol Validation. ![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. 361-371, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Jean-Pierre Ansart, J. Damidau |
CERBERE, A Tool to Keep an Eye on High Level 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. 529-537, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Deepinder P. Sidhu |
Protocol Design Rules. ![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. 283-300, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Michel Diaz |
Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models. ![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. 465-510, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | James F. Kurose |
The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic. ![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. 43-62, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Lawrence Yelowitz, Susan L. Gerhart, G. Hilborn |
Modeling a Network Protocol in AFFIRM and Ada. ![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. 435-450, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|
1 | Richard L. Schwartz, P. M. Melliar-Smith |
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. ![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. 3-19, 1982, North-Holland, 0-444-86481-4. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP BibTeX RDF |
|