Login / Signup
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system.
Wen Su
Jean-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