Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump. Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. In Francesco Flammini, Sandro Bologna, Valeria Vittorini, editors, Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings. Volume 6894 of Lecture Notes in Computer Science, pages 228-242, Springer, 2011. [doi]
Abstract is missing.