Conferences in DBLP

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

1. Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires
   What Makes Industries Believe in Formal Methods. [Citation Graph (0, 0)][DBLP]
   PSTV, 1993, pp:3-26 [Conf]
   
2. Charles Pecheur
   VLib: Infinite Virtual Libraries for LOTOS. [Citation Graph (0, 0)][DBLP]
   PSTV, 1993, pp:29-44 [Conf]
   
3. Ed Brinksma, Henk Eertink
   Goal-Driven LOTOS Execution. [Citation Graph (0, 0)][DBLP]
   PSTV, 1993, pp:45-60 [Conf]
   
4. Günter Karjoth
   Dynamic State Machines with Multiway Synchronization, Channels and Shared Variables. [Citation Graph (0, 0)][DBLP]
   PSTV, 1993, pp:61-76 [Conf]
   
5. H. Lin
   A Verification Tool for Value-Passing Processes. [Citation Graph (0, 0)][DBLP]
   PSTV, 1993, pp:79-92 [Conf]
   
6. Brahim Ghribi, Luigi Logrippo
   A Validation Environment for LOTOS. [Citation Graph (0, 0)][DBLP]
   PSTV, 1993, pp:93-108 [Conf]
   
7. Patrice Godefroid, Gerard J. Holzmann
   On the Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP]
   PSTV, 1993, pp:109-124 [Conf]
   
8. Tim Regan
   Multimedia in Temporal LOTOS: A Lip-Synchronization Algorithm. [Citation Graph (0, 0)][DBLP]
   PSTV, 1993, pp:127-142 [Conf]
   
9. Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan
   Specification of Real-Time Probabilistic Behaviour. [Citation Graph (0, 0)][DBLP]
   PSTV, 1993, pp:143-157 [Conf]
   
10. Pieter S. Kritzinger, Graham Wheeler
    Semi-Markovian Analysis of Protocol Performance. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:159-172 [Conf]
    
11. Arturo Azcorra, Enrique Vázquez, Manuel Alvarez-Campana, Juan Vinyes
    Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:175-189 [Conf]
    
12. Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi
    Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:191-206 [Conf]
    
13. Caroline Andrae, Reinhard Gotzhein, Simone Sédillot
    An Evolutionary Approach to the Development of Complex Protocol Standards. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:207-222 [Conf]
    
14. Serge Haddad, Mohamed Taghelit, Belhassen Zouari
    Assessment of ESTELLE and EDT Through Real Case Studies. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:223-238 [Conf]
    
15. Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
    Conformance Testing of Protocol Machines without Reset. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:241-256 [Conf]
    
16. Khalil Drira, Pierre Azéma, François Vernadat
    Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:257-272 [Conf]
    
17. R. M. Barker, F. A. Brady
    Automated Generation of Test Purposes for the OSE Distributed Transaction Processing Protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:273-288 [Conf]
    
18. Jadranka Alilovic-Curgus, Son T. Vuong
    A Metric Based Theory of Test Selection and Coverage. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:289-304 [Conf]
    
19. Samir G. Kelekar, George W. Hart
    Synthesis of Protocols and Protocol Converters Using the Submodule Construcion Approach. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:307-322 [Conf]
    
20. Wil Janssen, Job Zwiers
    Specifiying and Proving Communication Closedness in Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:323-339 [Conf]
    
21. Jean-Pierre Courtiat, Djamel-Eddine Saïdouni
    Action Refinement in LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:341-354 [Conf]
    
22. Kenneth J. Turner
    An Engineering Approach to Formal Methods. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:357-380 [Conf]