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 Songrasop

doi:10.1016/j.cl.2018.07.004

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 Songrasop

Institute of Software Systems Engineering

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	297-315
Number of pages	19
Journal	Computer Languages, Systems and Structures
Volume	54
DOIs	https://doi.org/10.1016/j.cl.2018.07.004
Publication status	Published - 2018

Fields of science

102 Computer Sciences
102022 Software development

JKU Focus areas

Computation in Informatics and Mathematics
Engineering and Natural Sciences (in general)

Access to Document

10.1016/j.cl.2018.07.004

Cite this

@article{308967653f0243cbbce032f279448889,

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

author = "Andreea Buga and Atif Mashkoor and Sorana-Tania Nemes and Klaus-Dieter Schewe and Pornpan Songrasop",

year = "2018",

doi = "10.1016/j.cl.2018.07.004",

language = "English",

volume = "54",

pages = "297--315",

journal = "Computer Languages, Systems and Structures",

issn = "1477-8424",

publisher = "Elsevier",

}

TY - JOUR

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

AU - Buga, Andreea

AU - Mashkoor, Atif

AU - Nemes, Sorana-Tania

AU - Schewe, Klaus-Dieter

AU - Songrasop, Pornpan

PY - 2018

Y1 - 2018

UR - https://www.scopus.com/pages/publications/85050893505

U2 - 10.1016/j.cl.2018.07.004

DO - 10.1016/j.cl.2018.07.004

M3 - Article

SN - 1477-8424

VL - 54

SP - 297

EP - 315

JO - Computer Languages, Systems and Structures

JF - Computer Languages, Systems and Structures

ER -

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

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this