Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Verification of System States for Spacecraft Automatic Maneuvering


    Beteiligte:
    Hobbs, Kerianne L. (Autor:in) / Perez, Ivan (Autor:in) / Fifarek, Aaron (Autor:in) / Feron, Eric M. (Autor:in)

    Kongress:

    AIAA Scitech 2019 Forum



    Erscheinungsdatum :

    01.01.2019




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Formal Verification of System States for Spacecraft Automatic Maneuvering

    Hobbs, Kerianne L. / Perez, Ivan / Fifarek, Aaron et al. | TIBKAT | 2019


    RISK-BASED FORMAL REQUIREMENT ELICITATION FOR AUTOMATIC SPACECRAFT MANEUVERING

    Hobbs, Kerianne L. / Collins, Alexander R. / Feron, Eric M. | TIBKAT | 2021


    Risk-Based Formal Requirement Elicitation for Automatic Spacecraft Maneuvering

    Hobbs, Kerianne L. / Collins, Alexander R. / Feron, Eric M. | AIAA | 2021


    Formal Verification of Maneuvering Target Tracking

    Moulin, Mark / Gluhovsky, Leonid / Bendersky, Eli | AIAA | 2003