Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language.

Mahesh Viswanathan Moonzoo Kim

Published in: ICTAC (2004)

Keyphrases

reactive systems
real time
artificial intelligence
information flow
programming language
language learning
model checking
temporal logic
natural language
database processing
object oriented
petri net
monitoring system
state machines
data model