14. PSTV 1994:
Vancouver,
BC,
Canada
Son T. Vuong, Samuel T. Chanson (Eds.):
Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994.
IFIP Conference Proceedings 1 Chapman & Hall 1995, ISBN 0-412-63640-9 BibTeX
@proceedings{DBLP:conf/pstv/1994,
editor = {Son T. Vuong and
Samuel T. Chanson},
title = {Protocol Specification, Testing and Verification XIV, Proceedings
of the Fourteenth IFIP WG6.1 International Symposium on Protocol
Specification, Testing and Verification, Vancouver, BC, Canada,
1994},
booktitle = {PSTV},
publisher = {Chapman {\&} Hall},
series = {IFIP Conference Proceedings},
volume = {1},
year = {1995},
isbn = {0-412-63640-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Full Papers
Session One:
FDTs and Enhancements
Invited Address 1
Session Two:
Verification Methodology Based on FDTs
Session Three:
Testing - Architecture,
Fault Coverage and Interoperability
Session Four:
Protocol Specification and Design Methodology
Invited Address 2 - Abstract
Session Five:
Testing - Theoretical Issues
Session Six:
Verification Methods
Short Papers
Session Seven:
Modelling and Verification of Realtime Systems
Invited Address 3 - Abstract
Session Eight:
Testing - Tools and Methods
Session Nine:
FDT-Based Design,
Specification and Implementation
Copyright © Sat May 16 23:35:24 2009
by Michael Ley (ley@uni-trier.de)
