Making Real-Time Reactive Systems Reliable.

Keith Marzullo Mark D. Wood

Published in: ACM SIGOPS Oper. Syst. Rev. (1991)

Keyphrases

real time
reactive systems
real time systems
low cost
model checking
vision system
high speed
petri net
high level
information systems
expert systems
natural language
knowledge acquisition
cost effective
temporal logic
black box
artificial intelligence