default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th PSTV 1993: Liège, Belgium
- André A. S. Danthine, Guy Leduc, Pierre Wolper:
Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993. IFIP Transactions C-16, North-Holland 1993, ISBN 0-444-81648-8
Keynote Address - Invited Paper
- Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires:
What Makes Industries Believe in Formal Methods. PSTV 1993: 3-26
Support for Protocol Engineering with LOTOS
- Charles Pecheur:
VLib: Infinite Virtual Libraries for LOTOS. PSTV 1993: 29-44 - Ed Brinksma, Henk Eertink:
Goal-Driven LOTOS Execution. PSTV 1993: 45-60 - Günter Karjoth:
Dynamic State Machines with Multiway Synchronization, Channels and Shared Variables. PSTV 1993: 61-76
Verification Methods and Tools
- Huimin Lin:
A Verification Tool for Value-Passing Processes. PSTV 1993: 79-92 - Brahim Ghribi, Luigi Logrippo:
A Validation Environment for LOTOS. PSTV 1993: 93-108 - Patrice Godefroid, Gerard J. Holzmann:
On the Verification of Temporal Properties. PSTV 1993: 109-124
Time and Probabilities in Formal Design
- Tim Regan:
Multimedia in Temporal LOTOS: A Lip-Synchronization Algorithm. PSTV 1993: 127-142 - Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan:
Specification of Real-Time Probabilistic Behaviour. PSTV 1993: 143-157 - Pieter S. Kritzinger, Graham Wheeler:
Semi-Markovian Analysis of Protocol Performance. PSTV 1993: 159-172
Application of Formal Methods to Real Protocol Case Studies
- Arturo Azcorra, Enrique Vázquez, Manuel Alvarez-Campana, Juan Vinyes:
Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS. PSTV 1993: 175-189 - 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. PSTV 1993: 191-206 - Caroline Andrae, Reinhard Gotzhein, Simone Sédillot:
An Evolutionary Approach to the Development of Complex Protocol Standards. PSTV 1993: 207-222 - Serge Haddad, Mohamed Taghelit, Belhassen Zouari:
Assessment of ESTELLE and EDT Through Real Case Studies. PSTV 1993: 223-238
Conformance Test Generation and Coverage
- Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann:
Conformance Testing of Protocol Machines without Reset. PSTV 1993: 241-256 - Khalil Drira, Pierre Azéma, François Vernadat:
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. PSTV 1993: 257-272 - R. M. Barker, F. A. Brady:
Automated Generation of Test Purposes for the OSE Distributed Transaction Processing Protocol. PSTV 1993: 273-288 - Jadranka Alilovic-Curgus, Son T. Vuong:
A Metric Based Theory of Test Selection and Coverage. PSTV 1993: 289-304
Methods for Synthesising and Transforming Formal Descriptions
- Samir G. Kelekar, George W. Hart:
Synthesis of Protocols and Protocol Converters Using the Submodule Construcion Approach. PSTV 1993: 307-322 - Wil Janssen, Job Zwiers:
Specifiying and Proving Communication Closedness in Protocols. PSTV 1993: 323-339 - Jean-Pierre Courtiat, Djamel-Eddine Saïdouni:
Action Refinement in LOTOS. PSTV 1993: 341-354
Invited Paper
- Kenneth J. Turner:
An Engineering Approach to Formal Methods. PSTV 1993: 357-380
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 2025-02-24 21:35 CET 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:
