Browsing Computer Science - Undergraduate degree by Subject "Openflow protocol"
Now showing items 1-1 of 1
-
PLACIDUS : Plataforma de gerenciamento com verificação formal para redes definidas por software
(2020) [Work completion of graduation]Verificação formal é um passo importante na checagem de operações e propriedades em redes de computadores, como por exemplo, a corretude das configurações de dispositivos inseridos na mesma. Entretanto, historicamente, ...