Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m21b/2015/09.08.18.24.45-0:en:title:2:formal uml verification methodology:methodology apply formal verification uml based software:>.
4 referências similares encontradas (inclusive a original) buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 23/04/2024 03:40.
A methodology to apply formal verification to UML-based software
Santos, L. B. R.

Tese ou Dissertação - sem Qualis - 2015 - Como citar? - BibTeX - acessar - Similaridade: 1.00
 
  

Formal verification of UML-based software
Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L.

Artigo em Evento - sem Qualis - 2012 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.74
 
  

A formal verification tool for UML behavioral diagrams
Santos, L. B. R.; Eras, E. R.; Santiago Jr., V. A.; Vijaykumar, N. L.

Artigo em Revista Científica - Qualis: 10.0 - 2014 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.34
 
  

An algorithm to translate UML behavioral diagrams for formal verification
Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L.

Artigo em Evento - sem Qualis - 2013 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.31