Runtime Monitoring for Concurrent Systems.

Yoriyuki Yamagata Cyrille Artho Masami Hagiya Jun Inoue Lei Ma Yoshinori Tanabe Mitsuharu Yamamoto

Published in: RV (2016)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
formal specification
model checking
petri net
transition systems
real time
monitoring system
markov chain
knowledge acquisition
case study
early warning
condition monitoring
intensive care
knowledge base
search engine
databases