Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Model Checking Driven Simulation of Sat Procedures


    Contributors:

    Conference:

    SpaceOps 2012 ; 2012 ; Stockholm , Sweden



    Publication date :

    2012-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Model Checking Driven Simulation of Sat Procedures

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


    Model Checking Satellite Operational Procedures

    Cavaliere, F. / Mari, F. / Melatti, I. et al. | British Library Conference Proceedings | 2011



    Model Checking

    Dill, D. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995


    Model checking programs

    Visser, W. / Havelund, K. / Brat, G. et al. | Tema Archive | 2000