Open AccessCertifying Network Calculus in a Proof Assistant
Author(s) -
Etienne Mabille,
Marc Boyer,
Loïc Fejoz,
Stephan Merz
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - correctness , computer science , tree traversal , network calculus , process calculus , proof assistant , software , theoretical computer science , programming language , process (computing) , formal proof , calculus (dental) , algorithm , mathematical proof , mathematics , computer network , medicine , quality of service , geometry , dentistry