| | This Publication | |
| | | |
| |
| |
| | Bibliographic References | |
| |
| |
| | |
IEEE Transactions on Computers
August 2011 (vol. 60 no. 8)
ISSN: 0018-9340
Table of Contents
 | Special Section on Science of Design for Safety Critical Systems |
 | Regular Papers |
Jun Wang, University of Central Florida, Orlando
Huijun Zhu, University of Central Florida, Orlando
Peng Gu, University of Central Florida, Orlando
pp. 1142-1156
Xavier Vera, Intel Barcelona Research Center, Barcelona
pp. 1194-1206
 | Brief Contributions |
Xin Tian, Huazhong University of Science and Technology, WuHan
Lin Wu, Huazhong University of Science and Technology, WuHan
Yi-Hua Tan, Huazhong University of Science and Technology, WuHan
Jin-Wen Tian, Huazhong University of Science and Technology, WuHan
pp. 1207-1211
Usage of this product signifies your acceptance of the
Terms of Use.
| | | | | | | |