Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m19/2012/08.15.16.22.47-0:en:title:2:software model embedded checking:contributions model checking cofi methodology development space embedded software:>.
10 referências similares encontradas (inclusive a original) buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 19/04/2024 14:38.
Contributions of model checking and CoFI methodology to the development of space embedded software
Pontes, R. P.; Véras, P. C.; Ambrosio, A. M.; Villani, E.
Artigo em Revista Científica - Qualis: 10.0 - 2014 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00 		 
  

Integrating model checking and model based testing for industrial software development
Villani, E.; Pontes, R. P.; Coracini, G. K.; Ambrósio, A. M.
Artigo em Revista Científica - Qualis: 8.6 - 2019 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.40 		 
  

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: 0.25 		 
  

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: 0.25 		 
  

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: 0.25 		 
  

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: 0.25 		 
  

Transformation of UML behavioral diagrams to support software model checking
Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L.
Artigo em Revista Científica - Qualis: 1.4 - 2014 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.25 		 
  

A rigorous evaluation of the benefits of usability improvements within model checking-aided software inspections
Santos, L. B. R.; Santiago Júnior, V. A.; Freitas, A. V.
Capítulo de Livro - sem Qualis - 2017 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.22 		 
  

Towards a wide acceptance of formal methods to the design of safety critical software: An approach based on UML and model checking
Eras, E. R.; Santos, L. B. R.; Santiago Junior, V. A.; Vijaykumar, N. L.
Artigo em Evento - sem Qualis - 2015 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.19 		 
  

Towards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking
Eras, E. R.; Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L.
Artigo em Revista Científica - Qualis: 10.0 - 2015 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.19