Extended timing diagrams as a specification language.

Published in: EURO-DAC (1994)

Keyphrases

specification language
formal specification
programming language
description language
symbolic execution
model checker
requirements specification
software environment
information retrieval
high level
multi agent systems
software architecture