Publications of Andreea Buga
[rss]
2018
[1]
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.
[bib]
[pdf]
[doi]
Powered by
bibtexbrowser