Execução Exaustiva de Statecharts.

Inês A. G. Boaventura Paulo César Masiero

Published in: SBES (1992)

Keyphrases

agent oriented
class diagrams
reactive systems
conceptual modeling
test generation
sequence diagrams
formal methods
regression testing
real time
databases
machine learning