%0 Journal Article %1 journals/computer/CoferGBWPFPKKAH18 %A Cofer, Darren D. %A Gacek, Andrew %A Backes, John %A Whalen, Michael W. %A Pike, Lee %A Foltzer, Adam %A Podhradsky, Michal %A Klein, Gerwin %A Kuz, Ihor %A Andronick, June %A Heiser, Gernot %A Stuart, Douglas %D 2018 %J IEEE Computer %K dblp %N 11 %P 14-23 %T A Formal Approach to Constructing Secure Air Vehicle Software. %U http://dblp.uni-trier.de/db/journals/computer/computer51.html#CoferGBWPFPKKAH18 %V 51

@article{journals/computer/CoferGBWPFPKKAH18, added-at = {2019-02-07T00:00:00.000+0100}, author = {Cofer, Darren D. and Gacek, Andrew and Backes, John and Whalen, Michael W. and Pike, Lee and Foltzer, Adam and Podhradsky, Michal and Klein, Gerwin and Kuz, Ihor and Andronick, June and Heiser, Gernot and Stuart, Douglas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2589b9e4181e359dfbcd72919696f4a49/dblp}, ee = {https://doi.org/10.1109/MC.2018.2876051}, interhash = {c6b1907fad52a027052c5f7a0c15c2f6}, intrahash = {589b9e4181e359dfbcd72919696f4a49}, journal = {IEEE Computer}, keywords = {dblp}, number = 11, pages = {14-23}, timestamp = {2019-09-27T07:59:07.000+0200}, title = {A Formal Approach to Constructing Secure Air Vehicle Software.}, url = {http://dblp.uni-trier.de/db/journals/computer/computer51.html#CoferGBWPFPKKAH18}, volume = 51, year = 2018 }