ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System.

Jianqi Shi Jifeng He Huibiao Zhu Huixing Fang Yanhong Huang Xiaoxian Zhang

Published in: ICECCS (2012)

Keyphrases

data sets
management system
formal methods
neural network
real world
information technology
relational databases
multiresolution
special case
computational intelligence
formal analysis
operational semantics
formal models