Introduction to the ISO Specification Language LOTOS.

Tommaso Bolognesi Ed Brinksma

Published in: Comput. Networks (1987)

Keyphrases

specification language
description language
programming language
formal specification
software environment
requirements specification
cooperative
model checker
databases
real world
high level
software engineering