Formal Schedulability Analysis and Simulation for AADL.

Shenglin Gui Lei Luo Yun Li Lijie Wang

Published in: ICESS (2008)

Keyphrases

statistical analysis
website
numerical analysis
stochastic simulation
data analysis
mathematical analysis
real time
data sets
neural network
metadata
data model
medical images