Synchronous design of avionic applications based on model refinement.

Abdoulaye Gamatié Thierry Gautier Paul Le Guernic

Published in: J. Embed. Comput. (2006)

Keyphrases

mathematical model
computational model
formal model
high level
probabilistic model
layout design
data sets
neural network
genetic algorithm
cost function
process model
statistical model
neural network model
simulation model
object model