2 research outputs found

    A formal approach for identifying assurance deficits in unmanned aerial vehicle software

    No full text
    corecore