Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    SYSTEM MODEL VERIFICATION USING IN-FLIGHT KAZSTSAT DATA


    Contributors:

    Conference:

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



    Publication date :

    2021



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Classification :

    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