Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu. Formal Model of Interrupt Program from a Probabilistic Perspective. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 87-94, IEEE Computer Society, 2011. [doi]
@inproceedings{ZhaoHHL11,
title = {Formal Model of Interrupt Program from a Probabilistic Perspective},
author = {Yongxin Zhao and Yanhong Huang and Jifeng He and Si Liu},
year = {2011},
doi = {10.1109/ICECCS.2011.16},
url = {http://dx.doi.org/10.1109/ICECCS.2011.16},
researchr = {https://researchr.org/publication/ZhaoHHL11},
cites = {0},
citedby = {0},
pages = {87-94},
booktitle = {16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
editor = {Isabelle Perseil and Karin Breitman and Roy Sterritt},
publisher = {IEEE Computer Society},
}