Conferences in DBLP

Protocol Specification, Testing and Verification (pstv)
1991 (conf/pstv/1991)

1. Antti Valmari, Martti Tienari
   An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm. [Citation Graph (0, 0)][DBLP]
   PSTV, 1991, pp:3-18 [Conf]
   
2. Juan Quemada
   Compressed State Space Representation in LOTOS with the Interleaved Expansion. [Citation Graph (0, 0)][DBLP]
   PSTV, 1991, pp:19-35 [Conf]
   
3. Roelof Jan Velthuys, Lothar F. Mackert, Jürgen M. Schneider, Georg Zörntlein
   Structuring Mechanisms for the Formal Description Technique CRS. [Citation Graph (0, 0)][DBLP]
   PSTV, 1991, pp:39-57 [Conf]
   
4. Alistair Cockburn
   A Formalization of Temporal Message-Flow Diagrams. [Citation Graph (0, 0)][DBLP]
   PSTV, 1991, pp:59-74 [Conf]
   
5. Pierre de Saqui-Sannes, Jean-Pierre Courtiat
   An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle. [Citation Graph (0, 0)][DBLP]
   PSTV, 1991, pp:75-89 [Conf]
   
6. Simon S. Lam, A. Udaya Shankar
   A Composition Theorem for Layered Systems. [Citation Graph (0, 0)][DBLP]
   PSTV, 1991, pp:93-108 [Conf]
   
7. Kaisa Sere
   Stepwise Refinement of Reactive Processor Farms. [Citation Graph (0, 0)][DBLP]
   PSTV, 1991, pp:109-124 [Conf]
   
8. Enrique Vázquez, Pedro Sandoval, Marifeli Sedano, Juan Vinyes
   Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation. [Citation Graph (0, 0)][DBLP]
   PSTV, 1991, pp:125-139 [Conf]
   
9. Younes Souissi
   A Modular Approach for the Validation of Communication Protocols Using FIFO Nets. [Citation Graph (0, 0)][DBLP]
   PSTV, 1991, pp:143-158 [Conf]
   
10. S. Gallouzi, Luigi Logrippo, Abdellatif Obaid
    An expressive trace theory for LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:159-175 [Conf]
    
11. Ian F. Akyildiz, Giovanni Chiola, Daniel Kofman, Hayri Korezlioglu
    Stochastic Petri Net Modeling of the FDDI Network Protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:179-197 [Conf]
    
12. Nathalie Rico, Gregor von Bochmann
    Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:199-213 [Conf]
    
13. Yow-Jian Lin, Gene T. J. Wuu
    A Constrained Approach for Temporal Intervals in the Analysis of Timed Transitions. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:215-230 [Conf]
    
14. Ed Brinksma, Jan Tretmans, Louis Verhaard
    A Framework for Test Selection. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:233-248 [Conf]
    
15. Guy Leduc
    Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:249-264 [Conf]
    
16. Russil Wvong
    LAPB Conformance Testin Using Trace Analysis. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:267-282 [Conf]
    
17. Udo Bär, Martin Strecker, Willi Stoll, Wolfgang Effelsberg
    Presentation Layer Conformance Testing with TTCN. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:283-298 [Conf]
    
18. To-Yat Cheung, Youwen Wu, Ye Xinming
    Generating Test Sequences and their Degrees of Indeterminism for Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:301-316 [Conf]
    
19. Do Y. Lee, Jai-Yong Lee
    Test Generation for the Specification Written in Estelle. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:317-332 [Conf]
    
20. Erik Kwast
    Towards Automatic Test Generation for Protocol Data Aspects. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:333-348 [Conf]
    
21. X. Sun, Yinan N. Shen, Fabrizio Lombardi, Donatella Sciuto
    Protocol Conformance Testing by Discriminating UIO Sequences. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:349-364 [Conf]