R2U2: monitoring and diagnosis of security threats for unmanned aerial systems

Patrick Moosbrugger, Kristin Y. Rozier, Johann Schumann. R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. Formal Methods in System Design, 51(1):31-61, 2017. [doi]

Abstract

Abstract is missing.