![](/img/cover-not-exists.png)
[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System
Shi, Jianqi, Zhu, Longfei, Huang, Yanhong, Guo, Jian, Zhu, Huibiao, Fang, Huixing, Ye, XinYear:
2012
Language:
english
DOI:
10.1109/tase.2012.46
File:
PDF, 216 KB
english, 2012