Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mohamed G. Gouda |
The Two-Dimensional Window Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 365-379, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Cengiz Alaettinoglu, A. Udaya Shankar |
Stepwise Assertional Design of Distance-Vector Routing Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 399-413, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Woojik Chun, Paul D. Amer |
Improvements on UIO Sequence Generation and Partial UIO Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 245-260, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Thomas Walter 0001, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof |
A Common Semantics Representation for SDL and TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 335-346, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Chang-Jia Wang, Ming T. Liu |
A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 29-43, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | R. C. Sekar 0001, Yow-Jian Lin, Sanjai Narain |
On Modelling and Reasoning About Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 115-129, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Angel Fernández, Carlos Miguel, Leon Vidaller, Juan Quemada |
Development of Satellite Communication Networks Based on LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 179-192, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Juan Quemada, Arturo Azcorra |
Structuring Protocols Using Exceptions in a LOTOS Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 81-96, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Bengt Jonsson 0001, Joachim Parrow, Björn Pehrson (eds.) |
Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![North-Holland, 0-444-89210-9 The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Udo Bär, Martin Strecker, Willi Stoll, Wolfgang Effelsberg |
Presentation Layer Conformance Testing with TTCN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 283-298, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | To-Yat Cheung, Youwen Wu, Xinming Ye |
Generating Test Sequences and their Degrees of Indeterminism for Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 301-316, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Russil Wvong |
LAPB Conformance Testin Using Trace Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 267-282, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Simon S. Lam, A. Udaya Shankar |
A Composition Theorem for Layered Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 93-108, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Do Y. Lee, Jai-Yong Lee |
Test Generation for the Specification Written in Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 317-332, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Yow-Jian Lin, Gene T. J. Wuu |
A Constrained Approach for Temporal Intervals in the Analysis of Timed Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 215-230, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Nathalie Rico, Gregor von Bochmann |
Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 199-213, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Ian F. Akyildiz, Giovanni Chiola, Daniel Kofman, Hayri Korezlioglu |
Stochastic Petri Net Modeling of the FDDI Network Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 179-197, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 75-89, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | S. Gallouzi, Luigi Logrippo, Abdellatif Obaid |
An expressive trace theory for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 159-175, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Antti Valmari, Martti Tienari |
An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 3-18, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma, Jan Tretmans, Louis Verhaard |
A Framework for Test Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 233-248, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Xiao Sun 0002, Yinan N. Shen, Fabrizio Lombardi, Donatella Sciuto |
Protocol Conformance Testing by Discriminating UIO Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 349-364, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Younes Souissi |
A Modular Approach for the Validation of Communication Protocols Using FIFO Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 143-158, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Kaisa Sere |
Stepwise Refinement of Reactive Processor Farms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 109-124, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Roelof Jan Velthuys, Lothar F. Mackert, Jürgen M. Schneider, Georg Zörntlein |
Structuring Mechanisms for the Formal Description Technique CRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 39-57, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Alistair Cockburn |
A Formalization of Temporal Message-Flow Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 59-74, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Juan Quemada |
Compressed State Space Representation in LOTOS with the Interleaved Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 19-35, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Enrique Vázquez, Pedro Sandoval, Marifeli Sedano, Juan Vinyes |
Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 125-139, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Erik Kwast |
Towards Automatic Test Generation for Protocol Data Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 333-348, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Guy Leduc |
Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 249-264, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Tommaso Bolognesi, Ferdinando Lucidi, Sebastiano Trigila |
From timed Petri nets to timed LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 395-408, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Reinhard Gotzhein |
Specifying communication services with temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 295-309, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Alistair Cockburn, Wayne Citrin, Rainer Hauser, Jürg von Känel |
An environment for interactive design of communications architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 115-127, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | N. P. Alfano, B. Kanungo |
Development of an international standard for conformance testing X.25 DTEs January 1988 - May 1989. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 129-140, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Alessandro Fantechi, Stefania Gnesi, Gioia Ristori |
Compositional logic semantics and LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 365-378, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Srinivas Eswara, Tom Berriman, Philip VanHoutte, Behçet Sarikaya |
Towards execution of TTCN test cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 99-112, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Frank A. Stomp |
A derivation of a broadcasting protocol using sequentially phased reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 19-32, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Mon-Song Chen, Yanghee Choi, Aaron Kershenbaum |
Approaches utilizing segment overlap to minimize test sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 85-98, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato |
Incremental specification in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 183-196, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Richard L. Tenney |
Modelling flow control in Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 33-44, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Peter van Eijk, Harro Kremer, Marten van Sinderen |
On the use of specification styles for automated protocol implementation from LOTOS to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 157-168, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jan K. Pachl |
A notation for specifying test selection criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 71-84, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jan Friso Groote |
Specification and verification of real time systems in ACP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 261-274, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Shingo Nomura, Toru Hasegawa, Takashi Takizuka |
A LOTOS compiler and process synchronization manager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 169-182, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Hubert Garavel, Joseph Sifakis |
Compilation and verification of LOTOS specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 379-394, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Paul King, Graeme Smith 0001 |
Formalisation of behavioural and structural concepts for communication systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 3-18, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Colin H. West |
The first ten years, the next ten years. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 411-414, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Luigi Logrippo, Robert L. Probert, Hasan Ural (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![North-Holland, 0-444-88810-1 The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Rom Langerak |
Decomposition of functionality: a correctness-preserving LOTOS transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 229-242, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Chris A. Vissers |
FDTs for open distributed systems, a retrospective and a prospective view. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 341-362, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Fredrik Orava, Joachim Parrow |
Algebraic descriptions of mobile networks: An example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 275-291, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Roger Duke, Gordon A. Rose, Anthony Lee |
Object-oriented protocol specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 325-338, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Murat Bilgic, Behçet Sarikaya |
An ASN.1 encoder/decoder and its performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 141-154, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Karen Rudie, Walter Murray Wonham |
Supervisory control of communicating processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 243-257, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Einar Snekkenes |
Authentication in Open Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 311-324, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Raymond E. Miller |
Protocol verification: the first ten years, the next ten years; some personal observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 199-225, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Deepinder P. Sidhu |
The first ten years, the next ten years. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 47-68, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Ed Brinksma, Giuseppe Scollo, Chris A. Vissers (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![North-Holland, 0-444-88343-6 The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Wendy Y. L. Chan, Son T. Vuong, Mabo Robert Ito |
On Test Sequence Generation for Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 119-130, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Clazien D. Wezeman |
The CO-OP Method for Compositional Derivation of Conformance Testers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 145-158, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Rom Langerak |
A Testing Theory for LOTOS using Deadlock Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 87-98, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Willem P. de Roever, Jozef Hooman |
Design and verification in real-time distributed computing: an introduction to compositional methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 37-56, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann, Michel Deslauriers |
Combining ASN1 Support with the LOTOS Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 175-186, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Norio Shiratori, Hiroaki Kaminaga, Kaoru Takahashi, Shoichi Noguchi |
A Verification Method for LOTOS Specifications and its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 59-70, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Robert P. Kurshan, Shlomit S. Pinter, Baruch Solomon |
Extensions of Temporal Logic for Counting with Applications to Model Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 373-386, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Peter van Eijk |
LOTOS Tools Based on the Cornell Synthesizer Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 275-286, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Jan Gustavsson, Harry Rudin |
Including a Queue in a Formal-Description-Driven Protocol Performance Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 247-258, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Pawel Gburzynski, Piotr Rudnicki |
On Executable Specifications, Validation, and Testing of MAC-Level Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 261-273, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Dietmar Wolz, Paul Boehm |
Compilation of LOTOS Data Type Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 187-202, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | J. J. van Griethuysen |
Open Distributed Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 205-219, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Brigitte Pradin-Chezalviel, Michel Diaz |
Axioms of Communication Using Temporal Logic with Past. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 387-399, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Dragomir D. Dimitrijevic, Mon-Song Chen |
Dynamic State Exploration in Quantitative Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 327-338, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Fredrik Orava |
Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 357-371, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Marc Phalippou |
Functional Specification for an ISDN Switching System: an Experience using Estelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 15-24, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Maria C. Yuang, Aaron Kershenbaum |
Parallel Protocol Verification: The Two-Phase Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 339-353, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Terry Stroup, Norbert Götz, Michael Mendler |
Stepwise Refinement of Layered Protocols by Formal Program Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 71-85, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Samuel T. Chanson, B. P. Lee, N. J. Parakh, Hua-Xin Zeng |
Design and Implementation of a Ferry Clip Test System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 101-118, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Richard Lai 0001, Tharam S. Dillon, Ken R. Parker |
Verification Results for ISO FTAM Basic Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 223-234, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Ian J. Hayes, M. Mowbray, Gordon A. Rose |
Signalling System No.7, The Network Layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 3-14, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori |
Automated Verification of Equivalence of Protocol Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 235-246, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Gerard J. Holzmann, Joanna Patti |
Validating SDL Specifications: an Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 317-326, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Claude Jard, Jean-Marc Jézéquel |
A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 161-174, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 303-314, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Mohammed Faci, Luigi Logrippo, Bernard Stepien |
Formal Specifications of Telephone Systems in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 25-34, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Rance Cleaveland, Joachim Parrow, Bernhard Steffen |
A Semantics Based Verification Tool for Finite State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 287-302, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Yinan N. Shen, Fabrizio Lombardi, Anton T. Dahbura |
Protocol Conformance Testing Using Multiple UIO Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 131-143, 1989, North-Holland, 0-444-88343-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Piotr Dembinski, Stanislaw Budkowski |
Simulating Estelle Specifications with Time Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 265-279, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Hasan Ural |
A Test Derivation Method for Protocol Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 347-358, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Ian C. Davidson |
OSI Protocol Testing at the Corporation for Open Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 3-12, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Guy Leduc |
The Intertwining of Data Types and Processes in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 123-136, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Juan Quemada, Angel Fernández |
Introduction of Quantitative Relative Time into LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 105-121, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Kenneth J. Turner |
An Architectural Semantics for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 15-28, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Jan K. Pachl |
Protocol Description and Analysis Based on a State Transition Model with Channel Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 207-219, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | David R. Gilbert |
Executable LOTOS: Using PARLOG to Implement an FDT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 281-294, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Branislav Meandzija, William P.-C. Ho |
Towards Truly Open Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 29-40, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Giuseppe Pappalardo |
Experiences with a Verification and Simulation Tool for Behavioural Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 251-264, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Sudhir Aggarwal, Daniel Barbará, Costas Courcoubetis |
LAN Broadcast Protocols for Implementing the CCA Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 297-306, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Tommaso Bolognesi, Scott A. Smolka |
Fundamental Results for the Verification of Observational Equivalence: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 165-179, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Nicholas F. Maxemchuk, Krishan K. Sabnani |
Probabilistic Verification of Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 307-320, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
1 | Gregor von Bochmann |
Usage of Protocol Development Tools: The Results of a Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: 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, pp. 139-161, 1987, North-Holland, 0-444-70293-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|