@inproceedings{mery:hal-00985010, TITLE = {{Modeling an Aircraft Landing System in Event-B}}, AUTHOR = {M{\'e}ry, Dominique and Singh, Neeraj Kumar}, URL = {https://inria.hal.science/hal-00985010}, BOOKTITLE = {{ABZ 2014 Case Study Track}}, ADDRESS = {Toulouse, France}, EDITOR = {Fr{\'e}d{\'e}ric Boniol}, PUBLISHER = {{Springer}}, SERIES = {CCIS}, VOLUME = {433}, PAGES = {154-159}, YEAR = {2014}, MONTH = Jun, KEYWORDS = {Landing System ; Verification ; Validation ; Refinement ; Event-B}, HAL_ID = {hal-00985010}, HAL_VERSION = {v1}, }