Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Conference:

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



    Publication date :

    2012-01-01


    Size :

    8 pages


    Remarks:

    Includes bibliographical references and index



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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