Weiyu Xu, Xi Wu, Yongxin Zhao, Yongjian Li. Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture. In Rong Peng, Carlos Eduardo Pantoja, Pankaj Kamthan, editors, The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022. pages 369-375, KSI Research Inc., 2022. [doi]
Abstract is missing.