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, J. Scott / Smith, Stephen A. | NTRS | 2011


    EVA - Don't Leave Earth Without It

    Cupples, Scott / Smith, Stephen | AIAA | 2011


    EVA - Don't Leave Earth Without It

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


    Provably-Correct and Comfortable Adaptive Cruise Control

    Althoff, Matthias / Maierhofer, Sebastian / Pek, Christian | IEEE | 2021


    Provably correct reactive control from natural language

    Lignos, C. | British Library Online Contents | 2015