Tesis
Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
Registration in:
(Broch.)
Author
Guimarães, Rafael Paoliello
Institutions
Abstract
Orientador : Walter da Cunha Borelli Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação Mestrado