default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th PSTV 1990: Ottawa, Ontario, Canada
- Luigi Logrippo, Robert L. Probert, Hasan Ural:
Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. North-Holland 1990, ISBN 0-444-88810-1
Specification and Design
- Paul King, Graeme Smith:
Formalisation of behavioural and structural concepts for communication systems. PSTV 1990: 3-18 - Frank A. Stomp:
A derivation of a broadcasting protocol using sequentially phased reasoning. PSTV 1990: 19-32 - Richard L. Tenney:
Modelling flow control in Estelle. PSTV 1990: 33-44
Invited Paper: Protocol Testing: The first ten years, the next ten years
- Deepinder P. Sidhu:
The first ten years, the next ten years. PSTV 1990: 47-68
Testing
- Jan K. Pachl:
A notation for specifying test selection criteria. PSTV 1990: 71-84 - Mon-Song Chen, Yanghee Choi, Aaron Kershenbaum:
Approaches utilizing segment overlap to minimize test sequences. PSTV 1990: 85-98 - Srinivas Eswara, Tom Berriman, Philip VanHoutte, Behçet Sarikaya:
Towards execution of TTCN test cases. PSTV 1990: 99-112
Testing and Implementation
- Alistair Cockburn, Wayne Citrin, Rainer Hauser, Jürg von Känel:
An environment for interactive design of communications architectures. PSTV 1990: 115-127 - N. P. Alfano, B. Kanungo:
Development of an international standard for conformance testing X.25 DTEs January 1988 - May 1989. PSTV 1990: 129-140 - Murat Bilgic, Behçet Sarikaya:
An ASN.1 encoder/decoder and its performance. PSTV 1990: 141-154
Implementation and Specification
- Peter van Eijk, Harro Kremer, Marten van Sinderen:
On the use of specification styles for automated protocol implementation from LOTOS to C. PSTV 1990: 157-168 - Shingo Nomura, Toru Hasegawa, Takashi Takizuka:
A LOTOS compiler and process synchronization manager. PSTV 1990: 169-182 - Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato:
Incremental specification in LOTOS. PSTV 1990: 183-196
Invited Paper: Protocol Verification: The first ten years, the next ten years
- Raymond E. Miller:
Protocol verification: the first ten years, the next ten years; some personal observations. PSTV 1990: 199-225
Verification and Design
- Rom Langerak:
Decomposition of functionality: a correctness-preserving LOTOS transformation. PSTV 1990: 229-242 - Karen Rudie, Walter Murray Wonham:
Supervisory control of communicating processes. PSTV 1990: 243-257
Algebraic Techniques
- Jan Friso Groote:
Specification and verification of real time systems in ACP. PSTV 1990: 261-274 - Fredrik Orava, Joachim Parrow:
Algebraic descriptions of mobile networks: An example. PSTV 1990: 275-291
Logic Specification
- Reinhard Gotzhein:
Specifying communication services with temporal logic. PSTV 1990: 295-309 - Einar Snekkenes:
Authentication in Open Systems. PSTV 1990: 311-324 - Roger Duke, Gordon A. Rose, Anthony Lee:
Object-oriented protocol specification. PSTV 1990: 325-338
Invited Paper: Protocol Specification: The first ten years, the next ten years
- Chris A. Vissers:
FDTs for open distributed systems, a retrospective and a prospective view. PSTV 1990: 341-362
Lotos and Verification
- Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
Compositional logic semantics and LOTOS. PSTV 1990: 365-378 - Hubert Garavel, Joseph Sifakis:
Compilation and verification of LOTOS specifications. PSTV 1990: 379-394 - Tommaso Bolognesi, Ferdinando Lucidi, Sebastiano Trigila:
From timed Petri nets to timed LOTOS. PSTV 1990: 395-408
Epilogue
- Colin H. West:
The first ten years, the next ten years. PSTV 1990: 411-414
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 2025-01-04 01:06 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:
