Earthquake Protection Case Study in Hybrid Event-B and Python

Last updated 30.10.17

This page directs you to the materials for the Earthquake Protection Case Study performed for Susan Stepney's Feschrift, done in Hybrid Event-B and Python.

  • The feschrift case study is here.