by Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
Reference:
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study (Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop), In Comput. Lang. Syst. Struct., volume 54, 2018.
Bibtex Entry:
@Article{DBLP:journals/cl/BugaMNSS18,
author = {Andreea Buga and Atif Mashkoor and Sorana Tania Nemes and Klaus{-}Dieter Schewe and Pornpan Songprasop},
journal = {Comput. Lang. Syst. Struct.},
title = {An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study},
year = {2018},
pages = {297--315},
volume = {54},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/cl/BugaMNSS18.bib},
doi = {10.1016/j.cl.2018.07.004},
file = {:Journals/ComLan 2018 - An Event-B-Based Approach to Hybrid Systems Engineering and its Application to a Hemodialysis Machine Case Study/An Event-B-Based Approach to Hybrid Systems Engineering and its Application-preprint.pdf:PDF},
timestamp = {Tue, 11 Feb 2020 17:00:46 +0100},
url = {https://doi.org/10.1016/j.cl.2018.07.004},
}