Login / Signup
Theory of Automatic Dependent Surveillance-Broadcast Position Verification Using Time Difference of Arrival.
Junichi Naganawa
Hiromi Miyazaki
Published in:
IEEE Trans. Aerosp. Electron. Syst. (2021)
Keyphrases
</>
steady state
formal methods
database
real time
semi automatic
neural network
information systems
computational model
convex functions
general theory
formal verification