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
FDTs and Enhancements
Invited Address 1
Verification Methodology Based on FDTs
Testing - Architecture, Fault Coverage and Interoperability
Protocol Specification and Design Methodology
Invited Address 2 - Abstract
- Raj Jain:
ATM Networks: Issues and Challenges Ahead.
Testing - Theoretical Issues
- Marc Phalippou:
Abstract testing and concrete testers.
- Masaaki Mori, Son T. Vuong:
On finite covering of infinite spaces for protocol test selection.
- Guy Leduc:
Failure-based congruences, unfair divergences and new testing theory.
Modelling and Verification of Realtime Systems
Invited Address 3 - Abstract
Testing - Tools and Methods
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