Formal Verification of Real-time Networks with Coq Proof Assistant
Benchmarking a Deterministic Router for Mission-Critical Small Networks
Implementing a Deterministic Networking Router on an FPGA
Performance Analysis and Validation of TSN technology for Aerospace Applications