Cited By
View all- Webster MFisher MCameron NJump M(2011)Formal methods for the certification of autonomous unmanned aircraft systemsProceedings of the 30th international conference on Computer safety, reliability, and security10.5555/2041619.2041644(228-242)Online publication date: 19-Sep-2011