Verifying the Safety of a Flight-Critical System.

Guillaume Brat David H. Bushnell Misty Davies Dimitra Giannakopoulou Falk Howar Temesghen Kahsai

Published in: FM (2015)

Keyphrases

civil aviation
data mining
model checking
space shuttle
artificial intelligence
image processing
database systems
multiscale
path planning
verification method
fuel consumption
flight data