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]
Abstract is missing.