Login / Signup

Validation of the ABZ landing gear system using ProB.

Lukas LadenbergerDominik HansenHarald WiegardJens BendispostoMichael Leuschel
Published in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
  • fault diagnosis
  • real time
  • neural network
  • machine learning
  • decision making
  • image segmentation
  • user interface
  • information retrieval systems