Login / Signup
Predicting Specification Violations During BGP Convergence.
Roland Schmid
Tibor Schneider
Georgia Fragkouli
Laurent Vanbever
Published in:
StudentWorkshop@CoNEXT (2023)
Keyphrases
</>
anomaly detection
high level
convergence rate
knowledge base
real world
information systems
specification language
real time
information retrieval
metadata
case study
formal specification
iterative algorithms
convergence theorem