Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures.

Tiyam Robati Amine El Kouhen Abdelouahed Gherbi John Mullins

Published in: P&D@MoDELS (2015)

Keyphrases

intelligent systems
knowledge based systems
building blocks
neural network
artificial intelligence
multimedia
expert systems
formal methods
machine learning
search engine
decision making
face recognition
search algorithm
source code
retrieval systems
model checking