Horizontal and Vertical Structuring Techniques for Statecharts.

Hartmut Ehrig Robert Geisler Marcus Klar Julia Padberg

Published in: CONCUR (1997)

Keyphrases

agent oriented
conceptual modeling
data mining
machine learning
information systems
case study
relational databases
model checker
reactive systems