[B-7] Information Networks

10:30 AM - 10:45 AM JST(1:30 AM - 1:45 AM UTC)Candidate for Academic Incentive Award

[B-7-07] Prioritized Visualization of Reachability Changes Using a Network Verifier

◎Shunya Omi¹, Takeru Inoue¹ (1. University of Yamanashi)

Keywords:

network verification,network management

Password required to view