A expressão de busca foi <related:sid.inpe.br/plutao/2015/12.04.14.22.42-0:en:title:2:model checking software formal:towards wide acceptance formal methods design safety critical software approach based uml model checking:>.
10 referências similares encontradas (inclusive a original) buscando em 17 dentre 17 Arquivos. Data e hora local de busca: 24/09/2024 21:57. |
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: 1.00 | |
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: 1.00 | |
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.34 | |
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.27 | |
Silva, F. E. C.; Santiago Júnior, V. A. Artigo em Evento - sem Qualis - 2017 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.21 | |
Silva, F. E. C.; Santiago Júnior, V. A. Relatório - sem Qualis - 2017 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.21 | |
Silva, F. E. C.; Santiago Júnior, V. A. Artigo em Evento - sem Qualis - 2016 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.21 | |
Silva, F. E. C.; Santiago Júnior, V. A. Relatório - sem Qualis - 2016 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.21 | |
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: 0.19 | |
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.17 | |