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 
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
- Raj Jain:
ATM Networks: Issues and Challenges Ahead.
217
Session Five:
Testing - Theoretical Issues
- Marc Phalippou:
Abstract testing and concrete testers.
221-236
- Masaaki Mori, Son T. Vuong:
On finite covering of infinite spaces for protocol test selection.
237-251
- Guy Leduc:
Failure-based congruences, unfair divergences and new testing theory.
252-267
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
Last update Sat May 18 15:25:32 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
