TSNsched: Automated Schedule Generation for Time Sensitive Networking

Ben Schneider and Vivek Nigam

2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, pp. 69–77

2019 · doi: 10.23919/FMCAD.2019.8894249