13. PSTV 1993:
Liège,
Belgium
André A. S. Danthine, Guy Leduc, Pierre Wolper (Eds.):
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 BibTeX
@proceedings{DBLP:conf/pstv/1993,
editor = {Andr{\'e} A. S. Danthine and
Guy Leduc and
Pierre Wolper},
title = {Protocol Specification, Testing and Verification XIII, Proceedings
of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol
Specification, Testing and Verification, Li{\`e}ge, Belgium,
25-28 May, 1993},
booktitle = {PSTV},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {C-16},
year = {1993},
isbn = {0-444-81648-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Keynote Address - Invited Paper
Support for Protocol Engineering with LOTOS
Verification Methods and Tools
Time and Probabilities in Formal Design
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.
175-189 BibTeX
- 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.
191-206 BibTeX
- Caroline Andrae, Reinhard Gotzhein, Simone Sédillot:
An Evolutionary Approach to the Development of Complex Protocol Standards.
207-222 BibTeX
- Serge Haddad, Mohamed Taghelit, Belhassen Zouari:
Assessment of ESTELLE and EDT Through Real Case Studies.
223-238 BibTeX
Conformance Test Generation and Coverage
Methods for Synthesising and Transforming Formal Descriptions
Invited Paper
Copyright © Sat May 16 23:35:25 2009
by Michael Ley (ley@uni-trier.de)
