Real-Time and the Mu-Calculus (Preliminary Report).

E. Allen Emerson

Published in: REX Workshop (1991)

Keyphrases

real time
low cost
clustering algorithm
control system
data acquisition
case study
expert systems
high speed
development environment
real time systems
real time tracking