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

7. FORTE 1994: Berne, Switzerland

Dieter Hogrefe, Stefan Leue (Eds.): Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. IFIP Conference Proceedings 6 Chapman & Hall 1995, ISBN 0-412-64450-9 BibTeX
@proceedings{DBLP:conf/forte/1994,
  editor    = {Dieter Hogrefe and
               Stefan Leue},
  title     = {Formal Description Techniques VII, Proceedings of the 7th IFIP
               WG6.1 International Conference on Formal Description Techniques,
               Berne, Switzerland, 1994},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {6},
  year      = {1995},
  isbn      = {0-412-64450-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part One - New Techniques

Part Two - Applications

Part Three - FDTs go Commercial

Part Four - Verification

Position Statements

Part Five - Verification and Real-Time

Position Statements

Invited Talk

Part Six - Semantics

Position Statements

Invited Talk

Part Seven - Testing and Performance

Position Statements

Part Eight - Refinement

Copyright © Sat May 16 23:12:34 2009 by Michael Ley (ley@uni-trier.de)