Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    2012-2607 Logic Model Checking of Time-Periodic Real-Time Systems



    Kongress:

    Conference, AIAA Infotech@aerospace ; 2012 ; Garden Grove, CA



    Erscheinungsdatum :

    01.01.2012


    Format / Umfang :

    8 pages


    Anmerkungen:

    Includes bibliographical references and index



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Logic Model Checking of Time-Periodic Real-Time Systems

    Florian, Mihai / Gamble, Ed / Holzmann, Gerard | NTRS | 2012


    Logic Model Checking of Time-Periodic Real-Time Systems

    Florian, Mihai / Gamble, Ed / Holzmann, Gerard | AIAA | 2012


    Nr. 2607

    DataCite | 1895



    The Ground Segment Integration Framework - End-to-End Monitoring (AIAA 2016-2607)

    Cruz, Eduardo / Brendel, Elmar / Villemos, Gert | British Library Conference Proceedings | 2016