área de pesquisa Adriano de Souza Avaliação da segurança dinâmica usando modelos detalhados e processamento distribuído /
