Login / Signup

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.

Aysu Betin-CanTevfik BultanMikael LindvallBenjamin LuxStefan Topp
Published in: Autom. Softw. Eng. (2007)
Keyphrases
  • air traffic control
  • control software
  • design process
  • real time
  • air traffic
  • control system
  • knowledge based systems
  • formal methods
  • expert systems
  • decision support
  • fault diagnosis
  • fault detection
  • controller design