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

2. FORTE 1989: Vancouver, BC, Canada

Son T. Vuong (Ed.): Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989. North-Holland 1990, ISBN 0-444-88544-7 BibTeX
@proceedings{DBLP:conf/forte/1989,
  editor    = {Son T. Vuong},
  title     = {Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1
               Second International Conference on Formal Description Techniques
               for Distributed Systems and Communication Protocols, FORTE'89,
               Vancouver, BC, Canada, 5-8 December, 1989},
  booktitle = {FORTE},
  publisher = {North-Holland},
  year      = {1990},
  isbn      = {0-444-88544-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Mini-Papers on Software Tools

Tools for Protocol Implementation and Testing

Tools for Protocol Specification and Analysis

Full Papers

Architectural Concepts and LOTOS

Invited Presentation:

LOTOS Implementation

LOTOS Extensions

Specification for Verification

Invited Presentation:

Other FDTs

FDT Applied: Protocol Testing

FDT Implementation

Invited Presentation

FDT Experience

FDT Translation

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