Login / Signup

Modeling and verification of an air traffic concept of operations.

César A. MuñozGilles DowekVictor Carreño
Published in: ISSTA (2004)
Keyphrases
  • air traffic
  • model checking
  • air traffic control
  • civil aviation
  • real time
  • least squares
  • decision makers