Integration of SMT-based Scheduling with RC Network Calculus Analysis in TTEthernet Networks.

Anas Finzi, Silviu S. Craciunas

Browse the full ETFA paper archive.