2 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos
Relevância:
Resumo:
Tese (Doutorado em Tecnologia Nuclear)
Relevância:
Resumo:
Dissertação (Mestrado em Tecnologia Nuclear)