UMA FERRAMENTA DE APOIO A UTILIZAÇÃO DE STATECHARTS PARA ESPECIFICAÇÃO DO COMPORTAMENTO DE SISTEMAS DE TEMPO-REAL COMPLEXOS
Fortes, Renata Pontin De Mattos
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1991-04-18
Acesso online. A biblioteca também possui exemplares impressos.