Author: Andreea Buga

Refereed Journal Papers and Articles

2018
[1]	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. [pdf] [doi]