Login / Signup
Adequacy between AUTOSAR OS specification and real-time scheduling theory.
Pierre-Emmanuel Hladik
Anne-Marie Déplanche
Sébastien Faucou
Yvon Trinquet
Published in:
SIES (2007)
Keyphrases
</>
operating system
theoretical framework
formal methods
databases
specification language
data sets
neural network
learning algorithm
artificial intelligence
metadata
web services
artificial neural networks
theoretical basis
general theory
formal theory