Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm (Q3612661)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
scientific article

    Statements

    Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm (English)
    0 references
    10 March 2009
    0 references

    Identifiers