Equivalences of Statecharts.

Andrea Maggiolo-Schettini Adriano Peron Simone Tini

Published in: CONCUR (1996)

Keyphrases

agent oriented
connected components
relational algebra
class diagrams
reactive systems
conceptual modeling
formal methods
test generation
information retrieval
model checking
database
cooperative
genetic algorithm
data mining
real world
data sets
real time