Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A CASE STUDY IN FORMAL SPECIFICATION AND RUNTIME VERIFICATION OF A CUBESAT COMMUNICATIONS SYSTEM


    Beteiligte:

    Kongress:

    AIAA SciTech Forum and Exposition ; 2021 ; Online



    Erscheinungsdatum :

    2021


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    A Case Study in Formal Specification and Runtime Verification of a CubeSat Communications System

    Luppen, Zachary A. / Lee, Dae Young / Rozier, Kristin Y. | AIAA | 2021


    COMMUNICATIONS SYSTEM FOR CUBESAT

    Almeida, Delcio De / Romero, Marco | TIBKAT | 2022


    Deep Space Cubesat Communications

    Hyvönen, Petrus / Liljeblad, Michael / Vidmark, Axel | AIAA | 2018


    Runtime Verification

    Alwyn E Goodloe | NTRS