@inproceedings{dhaussy:hal-01006697,
  TITLE = {{Context-aware Veri cation of a Landing Gear System}},
  AUTHOR = {Dhaussy, Philippe and Teodorov, Ciprian},
  URL = {https://hal.science/hal-01006697},
  BOOKTITLE = {{ABZ 2014}},
  ADDRESS = {Toulouse, France},
  EDITOR = {Springer},
  PAGES = {52-65},
  YEAR = {2014},
  MONTH = Jun,
  KEYWORDS = {observer-automata ; formal veri cation ; context-aware model-checking ; OBP ; observer-automata...},
  HAL_ID = {hal-01006697},
  HAL_VERSION = {v1},
}