P Moosbrugger, KY Rozier, J Schumann - 2017 - cyberleninka.org
We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2 …
P Moosbrugger, KY Rozier, J Schumann - Formal Methods in System …, 2017 - infona.pl
We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2 …
P Moosbrugger, KY Rozier, J Schumann - 2017 - research.temporallogic.org
We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2 …
P Moosbrugger, KY Rozier, J Schumann - Formal Methods in System …, 2017 - dl.acm.org
We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2 …
P Moosbrugger, KY Rozier… - Formal Methods in …, 2017 - repositum.tuwien.at
We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2 …
[引用][C]R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
P Moosbrugger, K Rozier, J Schumann, KY Rozier - 2017
[引用][C]R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
P Moosbrugger, KY Rozier, J Schumann - Form Methods Syst Des, 2017