Login / Signup

Lightyear: Using Modularity to Scale BGP Control Plane Verification.

Alan TangRyan BeckettSteven BenalohKarthick JayaramanTejas PatilTodd D. MillsteinGeorge Varghese
Published in: SIGCOMM (2023)
Keyphrases
  • control system
  • three dimensional
  • control strategy
  • real time
  • scale space
  • model checking
  • control strategies
  • d objects
  • camera calibration
  • small scale
  • process control
  • control theory