Validation of the ABZ Landing Gear System Using ProB.

Dominik Hansen Lukas Ladenberger Harald Wiegard Jens Bendisposto Michael Leuschel

Published in: ABZ (Case Study) (2014)

Keyphrases

fault diagnosis
database
data sets
neural network
data analysis
mobile devices