Language Of Temporal Ordering Specification

Article Index for
Language Of

Shopping
Specification

Website Links For
Language

Information About

Language Of Temporal Ordering Specification

SEE ALSO

Formal Methods

List Of ISO Standards

REFERENCE

''The Formal Description Technique LOTOS'', P.H.J. van Eijk ''et al.'', editors, N-H, 1989 .

EXTERNAL LINKS

LOTOS -->

World-wide Environment for Learning LOTOS (WELL)