More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

7th PSTV 1987: Zürich, Switzerland

> Home > Conferences and Workshops > PSTV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/1987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/1987
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

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Davidson87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Davidson87
Ian C. Davidson:
OSI Protocol Testing at the Corporation for Open Systems. PSTV 1987: 3-12

Specification I

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Turner87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Turner87
Kenneth J. Turner:
An Architectural Semantics for LOTOS. PSTV 1987: 15-28
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/MeandzijaH87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/MeandzijaH87
Branislav Meandzija, William P.-C. Ho:
Towards Truly Open Systems. PSTV 1987: 29-40

Specification II

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Courtiat87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Courtiat87
Jean-Pierre Courtiat:
How Could Estelle Become a Better FDT? PSTV 1987: 43-60
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Fleischmann87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Fleischmann87
Albert Fleischmann:
PASS - A Technique for Specifying Communication Protocols. PSTV 1987: 61-76
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/MackertN87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/MackertN87
Lothar F. Mackert, Iris B. Neumeier-Mackert:
Communicating Rule Systems. PSTV 1987: 77-88

Specification III

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/ObaidL87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/ObaidL87
Abdellatif Obaid, Luigi Logrippo:
An Atomic Calculus of Communicating Systems. PSTV 1987: 91-104
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/QuemadaF87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/QuemadaF87
Juan Quemada, Angel Fernández:
Introduction of Quantitative Relative Time into LOTOS. PSTV 1987: 105-121
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Leduc87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Leduc87
Guy Leduc:
The Intertwining of Data Types and Processes in LOTOS. PSTV 1987: 123-136

Invited Paper

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Bochmann87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Bochmann87
Gregor von Bochmann:
Usage of Protocol Development Tools: The Results of a Survey. PSTV 1987: 139-161

Verification I

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/BolognesiS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/BolognesiS87
Tommaso Bolognesi, Scott A. Smolka:
Fundamental Results for the Verification of Observational Equivalence: A Survey. PSTV 1987: 165-179
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Najm87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Najm87
Elie Najm:
A Verification Oriented Specification in LOTOS of the Transport Protocol. PSTV 1987: 181-203

Verification II

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Pachl87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Pachl87
Jan K. Pachl:
Protocol Description and Analysis Based on a State Transition Model with Channel Expressions. PSTV 1987: 207-219
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/CavalliH87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/CavalliH87
Ana R. Cavalli, François Horn:
Proof of Specification Properties by Using Finite State Machines and Temporal Logic. PSTV 1987: 221-233
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/RichierRSV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/RichierRSV87
Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron:
Verification in XESAR of the Sliding Window Protocol. PSTV 1987: 235-248

Protocol Analysis I

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Pappalardo87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Pappalardo87
Giuseppe Pappalardo:
Experiences with a Verification and Simulation Tool for Behavioural Languages. PSTV 1987: 251-264
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/DembinskiB87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/DembinskiB87
Piotr Dembinski, Stanislaw Budkowski:
Simulating Estelle Specifications with Time Parameters. PSTV 1987: 265-279
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Gilbert87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Gilbert87
David R. Gilbert:
Executable LOTOS: Using PARLOG to Implement an FDT. PSTV 1987: 281-294

Protocol Analysis II

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/AggarwalBC87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/AggarwalBC87
Sudhir Aggarwal, Daniel Barbará, Costas Courcoubetis:
LAN Broadcast Protocols for Implementing the CCA Model. PSTV 1987: 297-306
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/MaxemchukS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/MaxemchukS87
Nicholas F. Maxemchuk, Krishan K. Sabnani:
Probabilistic Verification of Communication Protocols. PSTV 1987: 307-320
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Kritzinger87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Kritzinger87
Pieter S. Kritzinger:
Protocol Performance Using Image Protocols. PSTV 1987: 321-335

Invited Paper

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Holzmann87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Holzmann87
Gerard J. Holzmann:
On Limits and Possibilities of Automated Protocol Analysis. PSTV 1987: 339-344

Testing I

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Ural87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Ural87
Hasan Ural:
A Test Derivation Method for Protocol Conformance Testing. PSTV 1987: 347-358
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Muralidhar87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Muralidhar87
K. H. Muralidhar:
Network Management and Directory Services Test System. PSTV 1987: 359-372

Implementation

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/KrishnakumarKS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/KrishnakumarKS87
A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani:
Translation of Formal Protocol Specifications to VLSI Designs. PSTV 1987: 375-390
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Freudenmann87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Freudenmann87
Johannes Freudenmann:
Development of Communication Software by Stepwise Refinement. PSTV 1987: 391-404
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/OharaYK87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/OharaYK87
Yasuhiro Ohara, Shizuo Yoshitake, Tsukasa Kawaoka:
Protocol Conversion Method for Heterogeneous Systems Interconnection in Multi-Profile Environment. PSTV 1987: 405-418

Testing II

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/RathgebHTW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/RathgebHTW87
Erwin P. Rathgeb, Christian Homann, Hong Linh Truong, Gerd Waldmann:
Protocol Testing for the ISDN D-Channel Network Layer. PSTV 1987: 421-434
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/HengeveldK87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/HengeveldK87
Willem Hengeveld, Jan Kroon:
Using Checking Sequences for OSI Session Layer Conformance Testing. PSTV 1987: 435-449

Note

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Rudin87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Rudin87
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.