Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    The Introduction of Software Runtime Protection for Autonomous Aerospace Systems


    Beteiligte:

    Kongress:

    AIAA Information Systems-AIAA Infotech @ Aerospace



    Erscheinungsdatum :

    2017-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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 Archiv | 2005


    Aerospace Autonomous Systems

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