A Formal Link Between Response Time Analysis and Network Calculus
Author(s) -
Pierre 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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom