Hemodialysis machine in hybrid Event-B
R Banach - Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th …, 2016 - Springer
The hemodialysis machine case study is examined in Hybrid Event-B (an extension of Event-
B that includes provision for continuously varying behaviour as well as the usual discrete …
B that includes provision for continuously varying behaviour as well as the usual discrete …
[PDF][PDF] Hemodialysis Machine in Hybrid Event-B
R Banach - cs.man.ac.uk
The hemodialysis machine case study is examined in Hybrid Event-B (an extension of Event-
B that includes provision for continuously varying behaviour as well as the usual discrete …
B that includes provision for continuously varying behaviour as well as the usual discrete …
[引用][C] Hemodialysis Machine in Hybrid Event-B
R Banach - ABZ 2016, 2016 - research.manchester.ac.uk
Hemodialysis Machine in Hybrid Event-B — Research Explorer The University of Manchester
Skip to main navigation Skip to search Skip to main content Research Explorer The University of …
Skip to main navigation Skip to search Skip to main content Research Explorer The University of …
Hemodialysis Machine in Hybrid Event-B
R Banach - Proceedings of the 5th International Conference on …, 2016 - dl.acm.org
The hemodialysis machine case study is examined in Hybrid Event-B an extension of Event-
B that includes provision for continuously varying behaviour as well as the usual discrete …
B that includes provision for continuously varying behaviour as well as the usual discrete …
[PS][PS] Hemodialysis Machine in Hybrid Event-B
R Banach - cs.man.ac.uk
The hemodialysis machine case study is examined in Hybrid Event-B (an extension of Event-
B that includes provision for continuously varying behaviour as well as the usual discrete …
B that includes provision for continuously varying behaviour as well as the usual discrete …