Login / Signup

Taxiing stability verification and airworthiness certification for amphibious aircraft.

Xufei HeJianliang Ai
Published in: Sci. China Inf. Sci. (2019)
Keyphrases
  • model checking
  • stability analysis
  • third party
  • air force
  • air traffic
  • database
  • database systems
  • formal analysis
  • asynchronous circuits
  • air traffic control