Login / Signup
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