A reachability tree for statecharts and analysis of some properties.

Paulo Cesar Masiero José Carlos Maldonado I. G. Boaventura

Published in: Inf. Softw. Technol. (1994)

Keyphrases

artificial intelligence
data analysis
data mining
information retrieval
tree construction