Virual Oral Presentation Slide by Slide

IEEE/ICACT20220362 Slide.02        [Big Slide]       [YouTube]	Oral Presentation
	Before I start to share research, I would like to introduce what is Software-Defined Networking, SDN which is now used as the core technology for 5G networks. This provides many advantages over traditional networking by separating the controller and data planes. However, the network topology changes depend on the network configuration frequency. Therefore, it requires applying consistent network rules and providing network resilience. In this paper, provide a verification framework based on the model checking, and to ensure resilience, verify both a topology and modified topology with formal verification.

[Go to Next Slide]

Select Voice: Virtual Oral Presentation!!