Real Time in a TLA-Based Theory of Reactive Systems.

Reino Kurki-Suonio Mika Katara

Published in: ISORC (1998)

Keyphrases

reactive systems
real time
temporal logic
real time systems
model checking
low cost
formal methods
high speed
theoretical framework
computational model
artificial intelligence
vision system
control system
case study
anomaly detection
information flow
information systems
data mining
control flow
database