• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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