Real-Time and Performance Evaluation Extensions of Specification Language LOTOS.

Zbigniew Huzar Jan Magott

Published in: MASCOTS (1995)

Keyphrases

specification language
real time
formal specification
description language
programming language
software environment
temporal ordering
symbolic execution
data model
general purpose
fine grained
requirements specification