Personensuche
X
?
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) ,
6
Formal Verification Tool Evaluation For Unmanned Aircraft C..:
, In:
?
MILCOM 2019 - 2019 IEEE Military Communications Conference (MILCOM) ,
7
High-Fidelity LTE Waveform Modeling for Commercial-DoD Spec..:
, In:
?
MILCOM 2019 - 2019 IEEE Military Communications Conference (MILCOM) ,
8
AWS-3 Interference Mitigation: Improving Spectrum Sharing w..:
, In:
?
2019 Workshop on Research, Education and Development of Unmanned Aerial Systems (RED UAS) ,
9
Formal Assurances for Autonomous Systems Without Verifying ..:
, In:
?
Proceedings of the 1st ACM Workshop on Cyber-Physical System Security ,
11
Using Heterogeneous Computing to Implement a Trust Isolated..:
, In:
?
Proceedings of the 2014 ACM/SIGDA international symposium on Field-programmable gate arrays ,
12