Formalizing Statecharts using Hierarchical Automata.

Steffen Helke Florian Kammüller

Published in: Arch. Formal Proofs (2010)

Keyphrases

hierarchical model
data mining
tree automata
cellular automata
finite state automata
data sets
artificial intelligence
database systems
hierarchical clustering
coarse to fine
finite state
finite state machines
class diagrams
probabilistic automata