A logic-based requirements language for the specification and analysis of real-time systems.

Jeffrey J. P. Tsai Thomas J. Weigert

Published in: WORDS (1996)

Keyphrases

real time systems
natural language
timing constraints
object oriented programming language
real time
case study
requirements analysis
scheduling problem
programming language
embedded systems
specification language
operational semantics
real time database systems