Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Provably Correct Software: Don't Leave Earth Without It


    Contributors:

    Conference:

    AIAA SCITECH 2023 Forum



    Publication date :

    2023-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    EVA - Don't Leave Earth Without It

    Cupples, Scott / Smith, Stephen | AIAA | 2011


    EVA - Don't Leave Earth Without It

    Cupples, J. Scott / Smith, Stephen A. | NTRS | 2011


    EVA - Don't Leave Earth Without It

    Cupples, J. / Smith, S. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2011


    Undersea Dominance - Don't Leave Home Without It

    Douglass, J. W. | British Library Online Contents | 1996


    Provably Correct Safety Protocol for Cooperative Platooning

    Mair, Sebastian / Althoff, Matthias | IEEE | 2024