A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL.

Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang

Browse the full LCN paper archive.