default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th PSTV 1987: Zürich, Switzerland
- Harry Rudin, Colin H. West:
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. North-Holland 1987, ISBN 0-444-70293-8
Invited Paper
- Ian C. Davidson:
OSI Protocol Testing at the Corporation for Open Systems. PSTV 1987: 3-12
Specification I
- Kenneth J. Turner:
An Architectural Semantics for LOTOS. PSTV 1987: 15-28 - Branislav Meandzija, William P.-C. Ho:
Towards Truly Open Systems. PSTV 1987: 29-40
Specification II
- Jean-Pierre Courtiat:
How Could Estelle Become a Better FDT? PSTV 1987: 43-60 - Albert Fleischmann:
PASS - A Technique for Specifying Communication Protocols. PSTV 1987: 61-76 - Lothar F. Mackert, Iris B. Neumeier-Mackert:
Communicating Rule Systems. PSTV 1987: 77-88
Specification III
- Abdellatif Obaid, Luigi Logrippo:
An Atomic Calculus of Communicating Systems. PSTV 1987: 91-104 - Juan Quemada, Angel Fernández:
Introduction of Quantitative Relative Time into LOTOS. PSTV 1987: 105-121 - Guy Leduc:
The Intertwining of Data Types and Processes in LOTOS. PSTV 1987: 123-136
Invited Paper
- Gregor von Bochmann:
Usage of Protocol Development Tools: The Results of a Survey. PSTV 1987: 139-161
Verification I
- Tommaso Bolognesi, Scott A. Smolka:
Fundamental Results for the Verification of Observational Equivalence: A Survey. PSTV 1987: 165-179 - Elie Najm:
A Verification Oriented Specification in LOTOS of the Transport Protocol. PSTV 1987: 181-203
Verification II
- Jan K. Pachl:
Protocol Description and Analysis Based on a State Transition Model with Channel Expressions. PSTV 1987: 207-219 - Ana R. Cavalli, François Horn:
Proof of Specification Properties by Using Finite State Machines and Temporal Logic. PSTV 1987: 221-233 - Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron:
Verification in XESAR of the Sliding Window Protocol. PSTV 1987: 235-248
Protocol Analysis I
- Giuseppe Pappalardo:
Experiences with a Verification and Simulation Tool for Behavioural Languages. PSTV 1987: 251-264 - Piotr Dembinski, Stanislaw Budkowski:
Simulating Estelle Specifications with Time Parameters. PSTV 1987: 265-279 - David R. Gilbert:
Executable LOTOS: Using PARLOG to Implement an FDT. PSTV 1987: 281-294
Protocol Analysis II
- Sudhir Aggarwal, Daniel Barbará, Costas Courcoubetis:
LAN Broadcast Protocols for Implementing the CCA Model. PSTV 1987: 297-306 - Nicholas F. Maxemchuk, Krishan K. Sabnani:
Probabilistic Verification of Communication Protocols. PSTV 1987: 307-320 - Pieter S. Kritzinger:
Protocol Performance Using Image Protocols. PSTV 1987: 321-335
Invited Paper
- Gerard J. Holzmann:
On Limits and Possibilities of Automated Protocol Analysis. PSTV 1987: 339-344
Testing I
- Hasan Ural:
A Test Derivation Method for Protocol Conformance Testing. PSTV 1987: 347-358 - K. H. Muralidhar:
Network Management and Directory Services Test System. PSTV 1987: 359-372
Implementation
- A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani:
Translation of Formal Protocol Specifications to VLSI Designs. PSTV 1987: 375-390 - Johannes Freudenmann:
Development of Communication Software by Stepwise Refinement. PSTV 1987: 391-404 - Yasuhiro Ohara, Shizuo Yoshitake, Tsukasa Kawaoka:
Protocol Conversion Method for Heterogeneous Systems Interconnection in Multi-Profile Environment. PSTV 1987: 405-418
Testing II
- Erwin P. Rathgeb, Christian Homann, Hong Linh Truong, Gerd Waldmann:
Protocol Testing for the ISDN D-Channel Network Layer. PSTV 1987: 421-434 - Willem Hengeveld, Jan Kroon:
Using Checking Sequences for OSI Session Layer Conformance Testing. PSTV 1987: 435-449
Note
- Harry Rudin:
Note on the Early History of Layered Architecture. PSTV 1987: 453-454
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-30 19:32 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:
