Modelagem do Consenso Bizantino em Timed Automata
Será defendida no dia 24 de novembro de 2025, às 14:00 horas, por videoconferência, a Dissertação de Mestrado intitulada “Modelagem do Consenso Bizantino em Timed Automata”, da candidata ao título de Mestre em Computação – Camila de Souza Ferreira. Link para defesa: https://meet.google.com/krg-awyy-shu Modelagem do Consenso Bizantino em Timed Automata Resumo: Esta dissertação apresenta uma modelagem formal […]
Modelagem do Consenso Bizantino em Timed Automata Read More »
Defesas de Tese
