Portal do Governo Brasileiro
s
Mostrando
1 - 2
resultados de
2
para a busca '
Wondracek, Alberto do Carmo Sulzbacher
'
Pular para o conteúdo
Institucional
Sobre
Como participa
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Dúvidas frequentes
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Autor
Wondracek, Alberto do Carmo Sulzbacher
Mostrando
1 - 2
resultados de
2
para a busca '
Wondracek, Alberto do Carmo Sulzbacher
'
, tempo de busca: 0,01s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Export RIS
Exportar CSV
1
Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV
Por
Wondracek
,
Alberto
do
Carmo
Sulzbacher
Publicado em 2013
Acessar documento
Dissertação
2
Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV
Por
Wondracek
,
Alberto
do
Carmo
Sulzbacher
Publicado em 2013
Acessar documento
Dissertação
Carregando...
