High confidence embedded software design
Zhang, Zhenkai; Porter, Joseph; Kottenstette, Nicholas; Koutsoukos, Xenofon; Sztipanovits, Janos
- 期刊名称ACM SIGBED Review
- 作者Zhang, Zhenkai; Porter, Joseph; Kottenstette, Nicholas; Koutsoukos, Xenofon; Sztipanovits, Janos
- 卷第8卷
- 期第2期
- 电子ISSN1551-3688
- 文件大小369.02KB
- 发表时间2011-06-01
- DOI10.1145/2000367.2000377
- 页码44-47