Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Model Checking Driven Simulation of Sat Procedures


    Beteiligte:

    Kongress:

    SpaceOps 2012 ; 2012 ; Stockholm , Sweden



    Erscheinungsdatum :

    01.01.2012



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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 Archiv | 2000