Login / Signup
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System.
Wen Su
Jean-Raymond Abrial
Published in:
ABZ (Case Study) (2014)
Keyphrases
</>
strengths and weaknesses
modeling method
technology transfer
neural network
image processing
web services
multiscale
multi agent
alternative approaches
event driven