Ver registro no DEDALUS
Exportar registro bibliográfico

Ferramenta de apoio e utilizacao de statecharts para especificacao do comportamento de sistemas de tempo-real complexos (1991)