Validating the requirements and design of a hemodialysis machine using iUML-B, BMotion studio, and co-simulation

TS Hoang, C Snook, L Ladenberger… - … , Alloy, B, TLA, VDM, and Z …, 2016 - Springer
We present a formal specification of a hemodialysis machine (HD machine) using Event-B.
We model the HD machine using iUML-B state-machines and class diagrams and build a …
被引用次数：34 相关文章
[PDF] southampton.ac.uk

[PDF][PDF] Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-simulation

TS Hoang, C Snook, L Ladenberger, M Butler - southampton.ac.uk
We present a formal specification of a hemodialysis machine (HD machine) using Event-B.
We model the HD machine using iUML-B state-machines and class diagrams and build a …

Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation

M Butler - Michael Butler· Klaus-Dieter Schewe - Springer
We present a formal specification of a hemodialysis machine (HD machine) using Event-B.
We model the HD machine using iUML-B state-machines and class diagrams and build a …

Validating the requirements and design of a hemodialysis machine using iUML-B, BMotion Studio, and co-simulation

TS Hoang, C Snook, L Ladenberger, M Butler - 2016 - eprints.soton.ac.uk
We present a formal specification of a hemodialysis machine (HD machine) using Event-B.
We model the HD machine using iUML-B state-machines and class diagrams and build a …

Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation

TS Hoang, C Snook, L Ladenberger… - … , Alloy, B, TLA, VDM, and Z …, 2016 - dl.acm.org
We present a formal specification of a hemodialysis machine HD machine using Event-B.
We model the HD machine using iUML-B state-machines and class diagrams and build a …

Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation

M Butler - Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th …, 2016 - books.google.com
We present a formal specification of a hemodialysis machine (HD machine) using Event-B.
We model the HD machine using iUML-B state-machines and class diagrams and build a …
[PDF] southampton.ac.uk

[PDF][PDF] Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-simulation

TS Hoang, C Snook, L Ladenberger, M Butler - southampton.ac.uk
We present a formal specification of a hemodialysis machine (HD machine) using Event-B.
We model the HD machine using iUML-B state-machines and class diagrams and build a …