Formal Analysis of TSN Scheduler for Real-Time Communications

Jin Lv, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang. Formal Analysis of TSN Scheduler for Real-Time Communications. IEEE Transactions on Reliability, 70(3):1286-1294, 2021. [doi]

Abstract

Abstract is missing.