TY  - RPRT
TI  - Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin
AU  - Pascal André
AU  - Christian Attiogbé
AU  - Arnaud Lanoix
PY  - 2018
UR  - https://arxiv.org/abs/1803.05647
ID  - 1803.05647
ER  -