The hemodialysis machine case study
A Mashkoor - Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th …, 2016 - Springer
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 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
an HD machine including a sketch of the machine's functionality, related safety conditions,
and a top-level system architectural description.
hemodialysis (HD) machine. It provides an overview of the requirements and the design of
an HD machine including a sketch of the machine's functionality, related safety conditions,
and a top-level system architectural description.
Abstract
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 HD machine including a sketch of the machine’s functionality, related safety conditions, and a top-level system architectural description.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果