ABZ 2016 Case Study

Revision as of 15:32, 22 January 2016 by Lukas Ladenberger (talk | contribs)


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

Links

BMotion Studio for ProB