Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Model Checking Satellite Operational Procedures



    Conference:

    Conference, DAta systems in aerospace ; 2011 ; San Anton, Malta



    Publication date :

    2011-01-01


    Size :

    63 pages


    Remarks:

    Held in e-store (RMS)




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    Model Checking Driven Simulation of Sat Procedures

    Verzino, G. / Cavaliere, F. / Mari, F. et al. | British Library Conference Proceedings | 2012


    Operational satellite drag model standards

    Marcos, F / Baker, C / Hedin, A et al. | AIAA | 1995


    Deicing Facility Operational Procedures

    SAE Technical Papers | 2023


    Deicing Facility Operational Procedures

    SAE Technical Papers | 2011