Listar Computación por autor "Vassoler, Gabriel"
Mostrando ítems 1-1 de 1
-
VERMONT : an In-band telemetry-based approach for live network property verification
Vassoler, Gabriel (2023) [Tesis de maestría]The verification of network properties is often an exhaustive and time-consuming effort. The number of configurations needed to be analyzed by static verification increases as the networks grow larger, and the processing ...