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

11. FORTE / 18. PSTV 1998: Paris, France

Stanislaw Budkowski, Ana R. Cavalli, Elie Najm (Eds.): Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France. IFIP Conference Proceedings 135 Kluwer 1998, ISBN 0-412-84760-4 BibTeX 
@proceedings{DBLP:conf/forte/1998,
  editor    = {Stanislaw Budkowski and
               Ana R. Cavalli and
               Elie Najm},
  title     = {Formal Description Techniques and Protocol Specification, Testing
               and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint
               International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols (FORTE XI) and
               Protocol Specification, Testing and Verification (PSTV XVIII),
               3-6 November, 1998, Paris, France},
  booktitle = {FORTE},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {135},
  year      = {1998},
  isbn      = {0-412-84760-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part One - FDTs Extensions

Part Two - Verification 1

Part Three - Test 1

Invited Talk 2

Part Four - Methodology 1

Part Five - Methodology 2

Part Six - Verification 2

Part Seven - Case Studies

Invited Talk 3

Part Eight - Test 2

Part Nine - Hardware/Software Development

Part Ten - Real-Time & Performance

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