dblp.uni-trier.de www.uni-trier.de

10. FORTE / 17. PSTV 1997: Osaka, Japan

Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino (Eds.): Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan. IFIP Conference Proceedings 107 Chapman & Hall 1998, ISBN 0-412-82060-9 BibTeX 
@proceedings{DBLP:conf/forte/1997,
  editor    = {Atsushi Togashi and
               Tadanori Mizuno and
               Norio Shiratori and
               Teruo Higashino},
  title     = {Formal Description Techniques and Protocol Specification, Testing
               and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint
               International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols (FORTE X) and
               Protocol Specification, Testing and Verification (PSTV XVII),
               18-21 November, 1997, Osaka, Japan},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {107},
  year      = {1998},
  isbn      = {0-412-82060-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk I

Part One - Testing Theory for Concurrent Systems

Part Two - MSC and ODP

Part Three - LOTOS and Extension

Part Four - Verification Technique

Part Five - Conformance Testing

Invited Talk II

Part Six - Real Time Systems

Part Seven - Languages and Applications

Part Eigth - Industrial Usage Reports

Invited Talk III

Part Nine - Concurrent Systems

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sat May 16 23:12:33 2009 by Michael Ley (ley@uni-trier.de)