Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. PSTV 1983: Rüschlikon, Switzerland
- Harry Rudin, Colin H. West:
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
Protocol Theory and Analyses
- Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt:
Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Protocol Specification, Testing, and Verification 1983: 3-18 - Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani:
A Calculus for Protocol Specification and Validation. Protocol Specification, Testing, and Verification 1983: 19-34 - S. Aggarwal, Robert P. Kurshan, D. Sharma:
A Language for the Specification and Analysis of Protocols. Protocol Specification, Testing, and Verification 1983: 35-50 - S. Aggarwal, Robert P. Kurshan:
Modelling Elapsed Time in Protocol Specification. Protocol Specification, Testing, and Verification 1983: 51-62 - Mohamed G. Gouda:
An Example for Constructing Communicating Machines by Step-Wise Refinement. Protocol Specification, Testing, and Verification 1983: 63-74
Specification and Formal Models
- Rune Gustavsson, Björn Pehrson:
The Power of some Formal Models of Distributed Computing. Protocol Specification, Testing, and Verification 1983: 77-86 - Björn Pehrson:
Abstraction by Structural Reduction. Protocol Specification, Testing, and Verification 1983: 87-94 - Stanislaw Budkowski, Elie Najm:
Structured Finite State Automata - A new approach for modelling distributed communications systems. Protocol Specification, Testing, and Verification 1983: 95-110 - Luigi Logrippo:
"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. Protocol Specification, Testing, and Verification 1983: 111-124 - Günter Karjoth:
A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems. Protocol Specification, Testing, and Verification 1983: 125-136
Theory and Applications of Petri Nets
- Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen:
Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. Protocol Specification, Testing, and Verification 1983: 139-148 - Bernd Walter:
Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics. Protocol Specification, Testing, and Verification 1983: 149-159 - Miguel Menasche, Bernard Berthomieu:
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. Protocol Specification, Testing, and Verification 1983: 161-172 - Jonathan Billington:
Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets. Protocol Specification, Testing, and Verification 1983: 173-185
Validation and Verification
- Omar Rafiq, Jean-Pierre Ansart:
VADILOC - A Protocol Validator and Its Applications. Protocol Specification, Testing, and Verification 1983: 189-197 - Alan E. Baratz, Adrian Segall:
A Reliable Link Initialization Procedure. Protocol Specification, Testing, and Verification 1983: 199-211 - Hans Eckert, Rainer Prinoth:
A Computation-System Based Method for Automated Proving of Protocols Against Services. Protocol Specification, Testing, and Verification 1983: 213-228 - Carl A. Sunshine:
Experience with automated Protocol Verification. Protocol Specification, Testing, and Verification 1983: 229-236 - Deepinder P. Sidhu:
Protocol Verification via Executable Logic Specifications. Protocol Specification, Testing, and Verification 1983: 237-248
Protocol Performance
- Gerard Florin, Stéphane Natkin, A. Woog, J. Attal:
Quantitative Validation for Industrial Ethernet Local Networks. Protocol Specification, Testing, and Verification 1983: 251-256 - Harry Rudin:
From Formal Protocol Specification Towards Automated Performance Prediction. Protocol Specification, Testing, and Verification 1983: 257-269
Protocol Design and Implementation
- Guy Juanole, B. Algayres:
Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase. Protocol Specification, Testing, and Verification 1983: 273-282 - W. Ansaldi, C. Boccalini, M. Olobardi, A. M. Traverso:
Design of a Transport Layer Protocol for a Special Purpose LAN. Protocol Specification, Testing, and Verification 1983: 283-291 - F. Mark Restorick:
Implementation of a Protocol in an Assembly Language. Protocol Specification, Testing, and Verification 1983: 293-298
Integrated Systems
- Heiko Krumm, Oswald Drobnik:
Specification, Implementation, and Verification of Communication Services on the Basis of CIL. Protocol Specification, Testing, and Verification 1983: 301-316 - Robert E. Strom, Shaula Yemini:
Design, Implementation, and Validation of Secure Communications Systems. Protocol Specification, Testing, and Verification 1983: 317-332 - Jean-Michel Ayache, Jean-Pierre Courtiat:
LC/1, A Specification and Implementation Language for Protocols. Protocol Specification, Testing, and Verification 1983: 333-345 - Yechiam Yemini, Nihal Nounou:
CUPID: A Protocol Development Environment. Protocol Specification, Testing, and Verification 1983: 347-355 - Gerard J. Holzmann, Rob A. Beukers:
The Pandora Protocol Development System. Protocol Specification, Testing, and Verification 1983: 357-368 - Thomas P. Blumer, Deepinder P. Sidhu:
Experience with an Automated Protocol Development System. Protocol Specification, Testing, and Verification 1983: 369-380 - Jean-Pierre Ansart, V. Chari, D. Simon:
From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language). Protocol Specification, Testing, and Verification 1983: 381-390
Protocol Testing
- Sergio Palazzo, P. Fogliata, Gesualdo Le Moli:
A Layer-Independent Architecture for a Testing System of Protocol Implementations. Protocol Specification, Testing, and Verification 1983: 393-406 - Alfred Gießler:
Testing and Diagnosis Aids for Higher Level Protocols. Protocol Specification, Testing, and Verification 1983: 407-420 - Hasan Ural, Robert L. Probert:
User-Guided Test Sequence Generation. Protocol Specification, Testing, and Verification 1983: 421-436 - Robert L. Probert, Hasan Ural:
Requirements for a Test Specification Language for Protocol Implementation Testing. Protocol Specification, Testing, and Verification 1983: 437-443 - Jean-Francois Billiard:
Methodology and Tools for Qualitative Protocols Validation. Protocol Specification, Testing, and Verification 1983: 445-454 - Robin M. S. Cork:
The Testing of Protocols in SNA Products - An Overview. Protocol Specification, Testing, and Verification 1983: 455-463 - George A. Harvey:
The Routing Certification System. Protocol Specification, Testing, and Verification 1983: 465-476 - G. W. Cowin, R. W. S. Hale, D. Rayner:
Protocol Product Testing - Some Comparisons and Lessons. Protocol Specification, Testing, and Verification 1983: 477-492 - D. Rayner:
Towards an Objective Understanding of Conformance. Protocol Specification, Testing, and Verification 1983: 493-503 - Richard J. Linn Jr., W. H. McCoy:
Producing Tests for Implementations of OSI Protocols. Protocol Specification, Testing, and Verification 1983: 505-520 - Richard J. Linn Jr., J. Stephen Nightingale:
Some Experience with Testing Tools for OSI Protocol Implementations. Protocol Specification, Testing, and Verification 1983: 521-531
a service of 
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-04-19 20:23 CEST 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:
