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