ABZ 2014 Landing Gear Case Study in Hybrid Event-B

Last updated 30.01.14

This page directs you to the two versions of the ABZ 2014 Landing Gear Case Study done in Hybrid Event-B.

There is the original conference version, and the later, more complete, journal version.

  • The conference version of the development is here.

  • The journal version of the development is here.