z-logo
open-access-imgOpen Access
Experimental assessment of timing verification techniques for AFDX
Author(s) -
Marc Boyer,
Nicolas Navet,
Marc Fumey
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , benchmark (surveying) , network calculus , tree traversal , software , avionics , formal verification , design space exploration , distributed computing , embedded system , computer engineering , theoretical computer science , algorithm , programming language , computer network , quality of service , materials science , geodesy , composite material , geography

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here