Cite
HARVARD Citation
Buga, A. et al. (2018). An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Computer languages, systems & structures. pp. 297-315. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Buga, A. et al. (2018). An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Computer languages, systems & structures. pp. 297-315. [Online].