Formal analysis based evaluation of software defined networking for time-sensitive Ethernet - Thiele, Daniel; Ernst, Rolf (Proceedings - Design, Automation, and Test in Europe Conference and Exhibition, 2016)
Keywords: Admission control; Analytical models; Computer programs; Control systems; Devices; Ethernet; Network control; Networks; Ports (Computers); Protocols; Real-time systems; Software; Switching theory; Time measurements; Timing