Login / Signup

State-based modeling of continuous human-integrated systems: An application to air traffic separation assurance.

Steven J. LandryAmit V. LaguJouko Kinnari
Published in: Reliab. Eng. Syst. Saf. (2010)
Keyphrases
  • air traffic
  • management system
  • human machine
  • finite state machines
  • air traffic control
  • expert systems
  • computer systems
  • learning systems
  • human users