ABZ 2016 Hemodialysis Machine Case Study in Hybrid Event-B

Last updated 02.07.15

This page directs you to the ABZ 2016 Hemodialysis Machine Case Study done in Hybrid Event-B.

  • The development is here.