Login / Signup

Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system.

Wen SuJean-Raymond Abrial
Published in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
  • industrial applications
  • neural network
  • computer vision
  • knowledge base
  • semi supervised
  • machine learning algorithms
  • event detection