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

3. FORTE 1990: Madrid, Spain

Juan Quemada, José A. Mañas, Enrique Vázquez (Eds.): Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990. North-Holland 1991, ISBN 0-444-89024-6 BibTeX
@proceedings{DBLP:conf/forte/1990,
  editor    = {Juan Quemada and
               Jos{\'e} A. Ma{\~n}as and
               Enrique V{\'a}zquez},
  title     = {Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1
               Third International Conference on Formal Description Techniques
               for Distributed Systems and Communication Protocols, FORTE '90,
               Madrid, Spain, 5-8 November 1990},
  booktitle = {FORTE},
  publisher = {North-Holland},
  year      = {1991},
  isbn      = {0-444-89024-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

Theoretical Foundations of FDTs

Verification

Transformation

Testing - 1

Invited Paper

Languages and Time

Application of FDTs - 1

Testing - 2

Application of FDTs - 2

Language Enhancements

Design by Stepwise Refinement

Invited Paper

Graphical Representation of FDTs

Application of FDTs - 3

TOOLS

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