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 Mini-Papers on Software Tools
Tools for Protocol Implementation and Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Rudie Alderden :
COOPER - The Compositional Construction of a Canonical Tester.
13-17
export record as
dblp key:
Joaquín Seoane :
A Tool for Encoding and Decoding Big ASN.1 Messages.
19-23
export record as
dblp key:
Tools for Protocol Specification and Analysis
export record as
dblp key:
export record as
dblp key:
Michael Atlevi :
SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL.
37-41
export record as
dblp key:
Peter van Eijk :
Tools for LOTOS Specification Style Transformation.
43-51
export record as
dblp key:
export record as
dblp key:
Full Papers
Architectural Concepts and LOTOS
export record as
dblp key:
Reinhard Gotzhein :
The Formal Definition of the Architectural Concept "Interaction Point".
67-81
export record as
dblp key:
Rob Booth :
An Evaluation of the LCF Theorem Prover using LOTOS.
83-99
export record as
dblp key:
Invited Presentation:
export record as
dblp key:
LOTOS Implementation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Eric Dubuis :
An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports.
163-177
LOTOS Extensions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Specification for Verification
export record as
dblp key:
export record as
dblp key:
David Gilbert :
Specifying Concurrent Systems Using Logic.
245-260
export record as
dblp key:
Invited Presentation:
export record as
dblp key:
Other FDTs
export record as
dblp key:
conf/forte/CarringtonDDKRS89 export record as
dblp key:
export record as
dblp key:
Vijay K. Garg :
Modeling of Distributed Systems by Concurrent Regular Expressions.
313-327
FDT Applied:
Protocol Testing
export record as
dblp key:
export record as
dblp key:
Jan Tretmans :
Test Case Derivation from LOTOS Specifications.
345-359
export record as
dblp key:
export record as
dblp key:
FDT Implementation
export record as
dblp key:
conf/forte/Saqui-SannesC89 export record as
dblp key:
export record as
dblp key:
conf/forte/SchneiderNMV89
Invited Presentation
export record as
dblp key:
FDT Experience
export record as
dblp key:
export record as
dblp key:
conf/forte/ChamberlainA89 export record as
dblp key:
FDT Translation
export record as
dblp key:
export record as
dblp key:
Muffy Thomas :
From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1.
517-531
export record as
dblp key:
data released under the ODC-BY 1.0 license
