Aumentando a Eficiência da Verificação Dinâmica de Propriedades de Sistemas Descritos em Alto Nível de Abstração por meio da Utilização de Funções de Classificação Heurística Derivadas das Propriedades do Sistema Documento uri icon

  •  
  • Visão geral
  •  
  • Pesquisas
  •  
  • Identidade
  •  
  • Ver todos
  •