Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Autor:
Eduardo Correia da Silva
Assunto:
Engenharia de software
E
Sistemas de computadores embarcados
Tipo de acesso:
openAccess
Tipo de documento:
Dissertação
Outro:
ITA
Mostrar filtros (6)
Autor:
Eduardo Correia da Silva
Assunto:
Engenharia de software
E
Sistemas de computadores embarcados
Tipo de acesso:
openAccess
Tipo de documento:
Dissertação
Outro:
ITA
Resultados da busca
Mostrando
1 - 1
resultados de
1
para a busca '
'
, tempo de busca: 0,01s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Por
Eduardo Correia da Silva
Publicado em 2009
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Instituto Tecnológico de Aeronáutica
1
Bases coletadas
Biblioteca Digital de Teses e Dissertações do ITA
1
Autor
Eduardo Correia da Silva
Tipo de documento
Dissertação
Tipo de acesso
openAccess
Idioma
Português
1
Assunto
Engenharia de software
Especificação formal
1
Ferramentas de desenvolvimento de software
1
Sistemas de computadores embarcados
Software de segurança crítica
1
Teoria dos autômatos
1
Mais ...
Verificação de programas (computadores)
1
Verificação formal
1
Ver todos ...
menos ...
Ano da publicação
De:
Até:
Carregando...