A component model for hard real-time systems: CCM with ARINC-653.

Abhishek Dubey Gabor Karsai Nagabhushan Mahadevan

Published in: Softw. Pract. Exp. (2011)

Keyphrases

high level
mathematical model
object model
neural network
theoretical foundation
closed form
experimental data
computational model
probabilistic model
prior knowledge
graphical models
theoretical analysis
image database
cost function
data structure
prediction model
similarity measure