Login / Signup
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines.
Patrick Heckeler
Jörg Behrend
Thomas Kropf
Jürgen Ruf
Wolfgang Rosenstiel
Roland J. Weiss
Published in:
FM+AM (2010)
Keyphrases
</>
state machines
state machine
learning algorithm
high level
object oriented
knowledge based systems
integrity constraints
sequence diagrams