Making real-time reactive systems reliable.

Keith Marzullo Mark D. Wood

Published in: ACM SIGOPS European Workshop (1990)

Keyphrases

reactive systems
real time
real time systems
model checking
low cost
information flow
formal methods
control system
cost effective
machine learning
data mining
high speed
vision system
temporal logic
high reliability