Towards Certifying Network Calculus

DOI10.1007/978-3-642-39634-2_37zbMath1317.68220OpenAlexW32866754MaRDI QIDQ5327371

Stephan Merz, Marc Boyer, Loïc Fejoz, Etienne Mabille

Publication date: 7 August 2013

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39634-2_37

Mathematics Subject Classification ID

Related Items (1)

Timing analysis of rate-constrained traffic in TTEthernet using network calculus

Uses Software

• Isabelle

This page was built for publication: Towards Certifying Network Calculus