Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th PSTV 1992: Lake Buena Vista, Florida, USA
- Richard J. Linn Jr., M. Ümit Uyar:
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. IFIP Transactions C-8, North-Holland 1992, ISBN 0-444-89874-3
Keynote Speech
- Alexander G. Fraser:
Formal Methods Applied to Software Production. PSTV 1992: 3-9
Session 1A: Testing Theory
- Raymond E. Miller, Sanjoy Paul:
Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. PSTV 1992: 13-27 - Chang-Jia Wang, Ming T. Liu:
A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach. PSTV 1992: 29-43
Session 1B: Testability
- Wang Yi, Kim Guldstrand Larsen:
Testing Probabilistic and Nondeterministic Processes. PSTV 1992: 47-61 - Stan P. van de Burgt, Jan Kroon, A. M. Peeters:
Testability of Formal Specifications. PSTV 1992: 63-77
Session 1C: Specification
- Juan Quemada, Arturo Azcorra:
Structuring Protocols Using Exceptions in a LOTOS Extension. PSTV 1992: 81-96 - Gilbert M. Lundy, R. C. McArthur:
Formal Model of a High Speed Transport Procotol. PSTV 1992: 97-111
Session 1D: Specification
- R. C. Sekar, Yow-Jian Lin, Sanjai Narain:
On Modelling and Reasoning About Hybrid Systems. PSTV 1992: 115-129 - Jan Tretmans, Louis Verhaard:
A Queue Model Relating Synchronous and Asynchronous Communication. PSTV 1992: 131-145
Invited Paper
- Harry Rudin:
Protocol Development Success Stories: Part 1. PSTV 1992: 149-160
Session 2A: Implementation
- Claus Dendorfer, Rainer Weber:
From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development. PSTV 1992: 163-177 - Angel Fernández, Carlos Miguel, Leon Vidaller, Juan Quemada:
Development of Satellite Communication Networks Based on LOTOS. PSTV 1992: 179-192
Session 2B: Conformance Testing
- Roelof Jan Velthuys, Jürgen M. Schneider, Georg Zörntlein:
A Test Derivation Method Based on Exploiting Structure Information. PSTV 1992: 195-209 - Erik Kwast:
Automatic Test Generation for Protocol Data Aspects. PSTV 1992: 211-226
Session 2C: Testing Theory
- Alexandre Petrenko, Nina Yevtushenko:
Test Suite Generation from a FSM with a Given Type of Implementation Errors. PSTV 1992: 229-243 - Woojik Chun, Paul D. Amer:
Improvements on UIO Sequence Generation and Partial UIO Sequences. PSTV 1992: 245-260
Session 2D: Conformance Testing
- Ufuk Celikkan, Rance Cleaveland:
Computing Diagnostic Test for Incorrect Processes. PSTV 1992: 263-277 - Udo Bär, Jürgen M. Schneider:
Automated Validation of TTCN Test Suites. PSTV 1992: 279-295
Invited Paper
- Jean Philippe Favreau, Dieter Hogrefe, Jan Kroon:
Formal Methods in Conformance Testing: Status and Expectations. PSTV 1992: 299-316
Session 3A: Conformance Testing
- Jan Ellsberger, Finn Kristoffersen:
Testability in the Context of SDL. PSTV 1992: 319-333 - Thomas Walter, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof:
A Common Semantics Representation for SDL and TTCN. PSTV 1992: 335-346
Session 3B: Verification
- Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin:
Coverage Preserving Reduction Strategies for Reachability Analysis. PSTV 1992: 349-363 - Mohamed G. Gouda:
The Two-Dimensional Window Protocol. PSTV 1992: 365-379
Session 3C: Conversion and Routing
- Kenneth L. Calvert:
Module Composition and Refinement with Applications to Protocol Conversion. PSTV 1992: 383-397 - Cengiz Alaettinoglu, A. Udaya Shankar:
Stepwise Assertional Design of Distance-Vector Routing Algorithms. PSTV 1992: 399-413
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-22 20:01 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:
