Safety, Dependability and Performance Analysis of Aerospace Systems.

Published in: FTSCS (2014)

Keyphrases

safety critical
complex systems
formal methods
computer systems
retrieval systems
distributed systems
management system
knowledge based systems
search algorithm
artificial intelligence
neural network
intelligent systems
learning environment
information systems
information retrieval
machine learning
data mining