Tesis
Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
Registro en:
(Broch.)
Autor
Guimarães, Rafael Paoliello
Institución
Resumen
Orientador : Walter da Cunha Borelli Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação Mestrado