Gabriel Vassoler

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Formal Verification

Top Venues

Publications

Gabriel Vassoler, Jonatas Adilson Marques, Luciano Paschoal Gaspary
VERMONT: Towards an In-band Telemetry-Based Approach for Live Network Property Verification. NOMS (2023)