Open AccessA Formal Link Between Response Time Analysis and Network Calculus
Author(s) -
Pierre Le Roux,
Sophie Quinton,
Marc Boyer
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.4230/darts.8.1.3
Subject(s) - computer science , link (geometry) , formal methods , network calculus , calculus (dental) , programming language , computer network , medicine , quality of service , dentistry