The hemodialysis machine case study

A Mashkoor - Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th …, 2016 - Springer
This documents presents a description of a case study concerning the control of a
hemodialysis (HD) machine. It provides an overview of the requirements and the design of …
被引用次数：54 相关文章

The Hemodialysis Machine Case Study

A Mashkoor - Proceedings of the 5th International Conference on …, 2016 - dl.acm.org
This documents presents a description of a case study concerning the control of a
hemodialysis HD machine. It provides an overview of the requirements and the design of an …
[PDF] researchgate.net

[PDF][PDF] The Hemodialysis Machine Case Study

A Mashkoor - researchgate.net
This documents presents a description of a case study concerning the control of a
hemodialysis (HD) machine. It provides an overview of the requirements and the design of …
[PDF] irit.fr

[PDF][PDF] The Hemodialysis Machine Case Study

A Mashkoor - irit.fr
This documents presents a description of a case study concerning the control of a
hemodialysis (HD) machine. It provides an overview of the requirements and the design of …