Minxue Pan, Shouyu Chen, Yu Pei 0001, Tian Zhang 0001, Xuandong Li. Easy modelling and verification of unpredictable and preemptive interrupt-driven systems. In Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan, editors, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. pages 212-222, IEEE / ACM, 2019. [doi]
@inproceedings{PanCP0L19,
title = {Easy modelling and verification of unpredictable and preemptive interrupt-driven systems},
author = {Minxue Pan and Shouyu Chen and Yu Pei 0001 and Tian Zhang 0001 and Xuandong Li},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3339535},
researchr = {https://researchr.org/publication/PanCP0L19},
cites = {0},
citedby = {0},
pages = {212-222},
booktitle = {Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019},
editor = {Gunter Mussbacher and Joanne M. Atlee and Tevfik Bultan},
publisher = {IEEE / ACM},
}