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




    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


    Airplane ground flight verification system

    PAN TENGFEI / HOU WENLI / WU LIANG et al. | European Patent Office | 2015

    Free access