ABZ16: Difference between revisions

Line 10: Line 10:
* [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf ABZ 2016 Case Study Paper]
* [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf ABZ 2016 Case Study Paper]
* [[Media:HDMachine-160122.zip|HD Machine Event-B Model]]
* [[Media:HDMachine-160122.zip|HD Machine Event-B Model]]
* [[Media:Cosim-160122.zip|Co-Simulation Model of the Blood Flow Control]]
* [[Media:HDMachine-BMS-160122.zip|BMotion Studio Visualisation]]
* [[Media:HDMachine-BMS-160122.zip|BMotion Studio Visualisation]]



Revision as of 13:30, 27 January 2016


The Hemodialysis Machine Case Study

This page provides additional information and resources for the paper we have submitted for the ABZ 2016 case study track.

The full description of the case study can be found here.

Resources

Live Visualisation

If you have problems in running the visualisation, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de)

Links