Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Model Checking Driven Simulation of Sat Procedures


    Beteiligte:

    Kongress:

    International Conference; 12th, Space operations; SpaceOps 2012 ; 2012 ; Stockholm



    Erscheinungsdatum :

    01.01.2012


    Format / Umfang :

    14 pages


    Anmerkungen:

    Includes bibliographical references and index



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    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