Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    SYSTEM MODEL VERIFICATION USING IN-FLIGHT KAZSTSAT DATA


    Beteiligte:
    Kalel, Madina (Autor:in) / Bekembayev, Arman (Autor:in) / Ten, Vladimir (Autor:in) / Bikmukhanov, Damir (Autor:in) / Prokudin, Sergey (Autor:in)

    Kongress:

    IAA Symposium on Small Satellite Missions ; 27. ; 2020 ; Online



    Erscheinungsdatum :

    2021



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    BKL:    50.93 Weltraumforschung / 55.60 Raumfahrttechnik



    NEURAL NETS USE FOR SATELLITE TELEMETRY ANALYSIS IN APPLICATION FOR KAZSTSAT MISSION

    Bekembayev, Arman / Ten, Vladimir / Takhanov, Rustem et al. | TIBKAT | 2020



    Verification of Aircraft Longitudinal Model Using Flight Simulator

    Jirgl, M. / Jalovecky, R. | British Library Conference Proceedings | 2014


    Using SPIN model checking for flight software verification

    Gluck, P.R. / Holzmann, G.J. | IEEE | 2002


    Using SPIN model checking for flight software verification

    Gluck, P. R. / Holzmann, G. J. | NTRS | 2002