Validation of statecharts based on programmed execution
João Wagner Lima Cangussu Rosangela Aparecida Dellosso Penteado; Paulo Cesar Masiero; José Carlos Maldonado
Journal of Computing and Information v. 1, n. 2, p. 870-885, 1995
1995
Available at
ICMC - Inst. Ciên. Mat. Computação
(PROD-1411233 )(GetIt)