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