Amanote Research

Amanote Research

    RegisterSign In

A Formal Approach to the Analysis of Aircraft Protected Zone

Air Traffic Control Quarterly
doi 10.2514/atcq.12.1.75
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2004

Authors
Rachelle L. EnnisYiyuan J. Zhao
Publisher

American Institute of Aeronautics and Astronautics (AIAA)


Related search

A Formal Approach to Curriculum Theory Analysis

Marilyn Zurmuehlen Working Papers in Art Education
1983English

Equational Approach to Formal Analysis of TLS

English

A Modular Adjoint Approach to Aircraft Mission Analysis and Optimization

2015English

The MODUS Approach to Formal Verification

Business Systems Research
Information SystemsFinanceEconomicsManagement Information SystemsInnovationManagement of TechnologyEconometrics
2014English

A Formal Approach to Autonomous Vehicle Coordination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Multicriteria Optimization Approach to Aircraft Loading

Operations Research
Management ScienceComputer Science ApplicationsOperations Research
1992English

A New Formal Approach to the Rational Interpolation Problem

Numerische Mathematik
Computational MathematicsApplied Mathematics
1992English

A New Approach to the Formal Explicit Specification of Knowledge Acquisition

Mathematical machines and systems
2019English

A Formal Approach to Analyzing Cyber-Forensics Evidence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy