Outros Autores: “...http://lattes.cnpq.br/2691529717130089...”

Verificação de modelos uml de software embarcado com model checking