Modeling and Verification of AUTOSAR OS and EMS Application.

Yunhui Peng Yanhong Huang Ting Su Jian Guo

Published in: TASE (2013)

Keyphrases

decision trees
decision support
data mining
image processing
database
neural network
real world
search engine
computer vision
operating system
model checking