An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study

Buga, Andreea; Mashkoor, Atif; Nemes, Sorana Tania; Schewe, Klaus{-}Dieter; Songprasop, Pornpan

doi:10.1016/j.cl.2018.07.004

by Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe and Pornpan Songprasop

Reference:

Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe and Pornpan Songprasop: An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study, 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},
}