Login / Signup

Theory of Automatic Dependent Surveillance-Broadcast Position Verification Using Time Difference of Arrival.

Junichi NaganawaHiromi 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