Zhenkai Zhang, Joseph Porter, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits. High confidence embedded software design: a quadrotor helicopter case study. SIGBED Review, 8(2):44-47, 2011. [doi]
@article{ZhangPKKS11,
title = {High confidence embedded software design: a quadrotor helicopter case study},
author = {Zhenkai Zhang and Joseph Porter and Nicholas Kottenstette and Xenofon D. Koutsoukos and Janos Sztipanovits},
year = {2011},
doi = {10.1145/2000367.2000377},
url = {http://doi.acm.org/10.1145/2000367.2000377},
researchr = {https://researchr.org/publication/ZhangPKKS11},
cites = {0},
citedby = {0},
journal = {SIGBED Review},
volume = {8},
number = {2},
pages = {44-47},
}