No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{DISPLAYTITLE:ABZ 2016 Case Study}} | |||
__NOTOC__ | |||
== The Hemodialysis Machine Case Study == | == The Hemodialysis Machine Case Study == | ||
This page provides additional information and resources for the paper we have submitted for the [http://www.cdcc.faw.jku.at/ABZ2016 ABZ 2016 case study track]. | This page provides additional information and resources for the paper we have submitted for the [http://www.cdcc.faw.jku.at/ABZ2016 ABZ 2016 case study track]. | ||
The full description of the case study can be found [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf here]. | The full description of the case study can be found [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf here]. | ||
=== Resources === | |||
* [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf ABZ 2016 Case Study Paper] | |||
* HD Machine EventB Model | |||
* BMotion Studio Visualisation | |||
=== Links === | |||
==== BMotion Studio for ProB ==== | |||
* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotion Studio for ProB Homepage] | |||
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotion Studio for ProB User Handbook] | |||
=== References === | |||
<references /> | |||
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.