Login / Signup

A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems.

Davide PezzutiGiordano PolaElena De SantisMaria Domenica Di Benedetto
Published in: CDC (2013)
Keyphrases
  • management system
  • air traffic
  • civil aviation
  • least squares
  • low cost