Login / Signup

Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation.

Alessandro PetricconeGiordano PolaMaria Domenica Di BenedettoElena De Santis
Published in: ADHS (2012)
Keyphrases
  • management system
  • air traffic
  • civil aviation
  • high level
  • decision support system
  • real world
  • low cost
  • statistical analysis
  • air traffic control