Navegação Ciências Exatas e da Terra por Autor "Neves, Miguel Cardoso"
Resultados 1-1 de 1
-
Enforcing properties in programmable networks
Neves, Miguel Cardoso (2020) [Tese]Avoiding software bugs and misconfigurations in programmable networks is challenging. Recent studies show that they are among the biggest causes of failures in network infrastructures. Moreover, their consequences can be ...