2,813 research outputs found

    Verification Guided Refinement of Flight Safety Assessment and Management System for Takeoff

    Full text link
    Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/140668/1/1.i010408.pd
    • 

    corecore