Annual Deep-Space Flight Operation Verification of X-Band GaN SSPA.

Yuta Kobayashi Atsushi Tomiki Shigeo Kawasaki

Published in: IEEE Trans. Aerosp. Electron. Syst. (2019)

Keyphrases

deep space
model checking
formal methods
nuclear power plant
database
real time
databases
information retrieval
expert systems
air traffic control
concurrent systems
flight data