Login / Signup
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin.
Pascal André
J. Christian Attiogbé
Arnaud Lanoix
Published in:
CoRR (2018)
Keyphrases
</>
optimization method
mathematical model
optimal solution
event driven
news articles
event detection
closed form
fault diagnosis
special case
real time
website
decision making
information systems
artificial intelligence
machine learning
real world
data sets