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

Zbigniew Huzar Jan Magott

Published in: Fundam. Informaticae (1997)

Keyphrases

specification language
real time
formal specification
description language
programming language
symbolic execution
software environment
databases
knowledge base
high level
multi agent systems
control system
object oriented
domain specific
requirements specification