Modeling and Monitoring of Hierarchical State Machines in Scala.

Klaus Havelund Rajeev Joshi

Published in: SERENE (2017)

Keyphrases

state machines
state machine
petri net
monitoring system
sequence diagrams
real time
learning algorithm
low level
reactive systems