Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff.
Sweewarman BalachandranNecmiye OzayElla M. AtkinsPublished in: J. Aerosp. Inf. Syst. (2016)
Keyphrases
- management system
- civil aviation
- model checking
- decision support system
- fuel consumption
- database management systems
- formal verification
- signature verification
- assessment process
- temporal logic
- risk assessment
- face verification
- trust management
- air traffic
- assessment tool
- air traffic control
- safety analysis
- search engine