Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m21b/2017/01.03.18.13.50-0:pt:title:2:espaciais checking criticos sistemas:testes software via model checking sistemas espaciais criticos:>.
4 referências encontradas buscando em 15 dentre 15 sites.
Data e hora local de busca: 27/11/2020 18:22.
Testes de software via model checking para sistemas espaciais críticos
Silva, F. E. C.; Santiago Júnior, V. A.

Artigo em Evento - sem Qualis - 2016 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00
 
  

Testes de software via model checking para sistemas espaciais críticos
Silva, F. E. C.; Santiago Júnior, V. A.

Relatório - sem Qualis - 2016 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00
 
  

Testes de software via model checking para sistemas espaciais críticos
Silva, F. E. C.; Santiago Júnior, V. A.

Relatório - sem Qualis - 2017 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00
 
  

Testes de software via model checking para sistemas espaciais críticos
Silva, F. E. C.; Santiago Júnior, V. A.

Artigo em Evento - sem Qualis - 2017 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00