Navegando por Autor Wondracek, Alberto do Carmo Sulzbacher
Mostrando resultados 1 a 1 de 1
Data de defesa | Pré-visualização | Título | Autor | Orientador | Programa | Tipo de documento |
---|---|---|---|---|---|---|
25-Mar-2013 | Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV | Wondracek, Alberto do Carmo Sulzbacher | Dotti, Fernando Luís | Programa de Pós-Graduação em Ciência da Computação | Dissertação |