![](/img/cover-not-exists.png)
Modeling and verification of real-time embedded systems with urgency
Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. ChuVolume:
82
Year:
2009
Language:
english
Pages:
15
DOI:
10.1016/j.jss.2009.03.013
File:
PDF, 933 KB
english, 2009