Synthesis of Monitors for Real-Time Analysis of Reactive Systems.

Mikhail Auguston Mark B. Trakhtenbrot

Published in: Pillars of Computer Science (2008)

Keyphrases

real time
reactive systems
databases
statistical analysis
information systems
decision making
data analysis
mechanical devices