Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    The Introduction of Software Runtime Protection for Autonomous Aerospace Systems


    Contributors:

    Conference:

    AIAA Information Systems-AIAA Infotech @ Aerospace



    Publication date :

    2017-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    The Introduction of Software Runtime Protection for Autonomous Aerospace Systems (AIAA 2017-0560)

    Schierman, John D. / DeVore, Michael / Richards, Nathan D. et al. | British Library Conference Proceedings | 2017


    Runtime Assurance for Autonomous Aerospace Systems

    Schierman, John D. / DeVore, Michael D. / Richards, Nathan D. et al. | AIAA | 2020


    Runtime Verification for Autonomous Spacecraft Software

    Goldberg, A. / Havelund, K. / McGann, C. et al. | British Library Conference Proceedings | 2005


    Runtime verification for autonomous spacecraft software

    Goldberg, A. / Havelund, K. / McGann, C. | Tema Archive | 2005


    Aerospace Autonomous Systems

    Ingham, Mitch / Langelaan, Jack W. | NTRS | 2010