Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea. Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. In Toshiaki Aoki, Qin Li, editors, International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020. pages 57-64, IEEE, 2020. [doi]
@inproceedings{ZhuBC20-1,
title = {Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker},
author = {Chenyang Zhu 0001 and Michael J. Butler and Corina Cîrstea},
year = {2020},
doi = {10.1109/TASE49443.2020.00017},
url = {https://doi.org/10.1109/TASE49443.2020.00017},
researchr = {https://researchr.org/publication/ZhuBC20-1},
cites = {0},
citedby = {0},
pages = {57-64},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020},
editor = {Toshiaki Aoki and Qin Li},
publisher = {IEEE},
isbn = {978-1-7281-4086-5},
}