Arnaud Lanoix

Identifiers

No identifiers captured yet.

Papers (1)

1. Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin cs.SE · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Christian Attiogb\'e 1 shared papers
• Pascal Andr\'e 1 shared papers