%0 Journal Article %1 journals/sigbed/ZhangPKKS11 %A Zhang, Zhenkai %A Porter, Joseph %A Kottenstette, Nicholas %A Koutsoukos, Xenofon D. %A Sztipanovits, Janos %D 2011 %J SIGBED Review %K dblp %N 2 %P 44-47 %T High confidence embedded software design: a quadrotor helicopter case study. %U http://dblp.uni-trier.de/db/journals/sigbed/sigbed8.html#ZhangPKKS11 %V 8

@article{journals/sigbed/ZhangPKKS11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Zhang, Zhenkai and Porter, Joseph and Kottenstette, Nicholas and Koutsoukos, Xenofon D. and Sztipanovits, Janos}, biburl = {https://www.bibsonomy.org/bibtex/2c86e538dc08128c6dd70a883c2e13faa/dblp}, ee = {https://doi.org/10.1145/2000367.2000377}, interhash = {7e9f02dfb40e3c0ce8fc28a5773843ec}, intrahash = {c86e538dc08128c6dd70a883c2e13faa}, journal = {SIGBED Review}, keywords = {dblp}, number = 2, pages = {44-47}, timestamp = {2018-11-07T12:20:51.000+0100}, title = {High confidence embedded software design: a quadrotor helicopter case study.}, url = {http://dblp.uni-trier.de/db/journals/sigbed/sigbed8.html#ZhangPKKS11}, volume = 8, year = 2011 }