Pesquisa Avançada
Resultado: Exibindo 10 de 100 na pagina 1 de 10
Nome
Título
Área
Documento
Unidade
Ano
A variação da profundidade em função do tempo, na saída de um canal retangular curto...
Teste e verificação formal do comportamento excepcional de programas Java
Um estudo sobre teste versus verificação formal de programas Java
Especificação e verificação formal de requisitos para sistemas de tráfego aéreo
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo
Framework para modelagem e verificação formal de programas de controle de sistemas...
Verificação formal de sistemas modelados em estados finitos
Verificação formal de sistemas discretos distribuídos
Um processo de desenvolvimento orientado a objetos com suporte à verificação formal...
Estudo comparativo de procedimentos do Serviço de Verificação de Óbitos (SVO-TO)...
Resultado: Exibindo 10 de 100 na pagina 1 de 10