Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th PSTV 1989: Enschede, The Netherlands
- Ed Brinksma, Giuseppe Scollo, Chris A. Vissers:
Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989. North-Holland 1990, ISBN 0-444-88343-6
Session 1: System Specification
- Ian J. Hayes, M. Mowbray, Gordon A. Rose:
Signalling System No.7, The Network Layer. PSTV 1989: 3-14 - Marc Phalippou:
Functional Specification for an ISDN Switching System: an Experience using Estelle. PSTV 1989: 15-24 - Mohammed Faci, Luigi Logrippo, Bernard Stepien:
Formal Specifications of Telephone Systems in LOTOS. PSTV 1989: 25-34
Invited Presentation
- Willem P. de Roever, Jozef Hooman:
Design and verification in real-time distributed computing: an introduction to compositional methods. PSTV 1989: 37-56
Session 2: Process Algebra Applications
- Norio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi:
A Verification Method for LOTOS Specifications and its Application. PSTV 1989: 59-70 - Terry Stroup, Norbert Götz, Michael Mendler:
Stepwise Refinement of Layered Protocols by Formal Program Development. PSTV 1989: 71-85 - Rom Langerak:
A Testing Theory for LOTOS using Deadlock Detection. PSTV 1989: 87-98
Session 3: Conformance Testing
- Samuel T. Chanson, B. P. Lee, N. J. Parakh, Hua-Xin Zeng:
Design and Implementation of a Ferry Clip Test System. PSTV 1989: 101-118 - Wendy Y. L. Chan, Son T. Vuong, Mabo Robert Ito:
On Test Sequence Generation for Protocols. PSTV 1989: 119-130 - Yinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura:
Protocol Conformance Testing Using Multiple UIO Sequences. PSTV 1989: 131-143 - Clazien D. Wezeman:
The CO-OP Method for Compositional Derivation of Conformance Testers. PSTV 1989: 145-158
Session 4: Specification Language Transformation
- Claude Jard, Jean-Marc Jézéquel:
A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines. PSTV 1989: 161-174 - Gregor von Bochmann, Michel Deslauriers:
Combining ASN1 Support with the LOTOS Language. PSTV 1989: 175-186 - Dietmar Wolz, Paul Boehm:
Compilation of LOTOS Data Type Specifications. PSTV 1989: 187-202
Invited Presentation
- J. J. van Griethuysen:
Open Distributed Processing. PSTV 1989: 205-219
Session 5: Transition System Applications
- Richard Lai, Tharam S. Dillon, Ken R. Parker:
Verification Results for ISO FTAM Basic Protocol. PSTV 1989: 223-234 - Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori:
Automated Verification of Equivalence of Protocol Machines. PSTV 1989: 235-246 - Jan Gustavsson, Harry Rudin:
Including a Queue in a Formal-Description-Driven Protocol Performance Analysis. PSTV 1989: 247-258
Session 6: Tool Environments
- Pawel Gburzynski, Piotr Rudnicki:
On Executable Specifications, Validation, and Testing of MAC-Level Protocols. PSTV 1989: 261-273 - Peter van Eijk:
LOTOS Tools Based on the Cornell Synthesizer Generator. PSTV 1989: 275-286 - Rance Cleaveland, Joachim Parrow, Bernhard Steffen:
A Semantics Based Verification Tool for Finite State Systems. PSTV 1989: 287-302 - R. Isaac Chan, Brian R. Smith, Gerald W. Neufeld, Samuel T. Chanson, W. B. Davis, Son T. Vuong, H. L. See, S. Chan:
A Software Environment for OSI Protocol Testing Systems. PSTV 1989: 303-314
Session 7: Verification by State Space Exploration
- Gerard J. Holzmann, Joanna Patti:
Validating SDL Specifications: an Experiment. PSTV 1989: 317-326 - Dragomir D. Dimitrijevic, Mon-Song Chen:
Dynamic State Exploration in Quantitative Protocol Analysis. PSTV 1989: 327-338 - Maria C. Yuang, Aaron Kershenbaum:
Parallel Protocol Verification: The Two-Phase Algorithm. PSTV 1989: 339-353
Session 8: Temporal Logic Applications
- Fredrik Orava:
Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes. PSTV 1989: 357-371 - Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon:
Extensions of Temporal Logic for Counting with Applications to Model Verification. PSTV 1989: 373-386 - Brigitte Pradin-Chezalviel, Michel Diaz:
Axioms of Communication Using Temporal Logic with Past. PSTV 1989: 387-399
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-17 20:30 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:
