Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Logic Model Checking of Time-Periodic Real-Time Systems


    Contributors:

    Conference:

    Infotech@Aerospace 2012



    Publication date :

    2012-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Logic Model Checking of Time-Periodic Real-Time Systems

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


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

    Florian, M. / Gamble, E. / Holzmann, G. et al. | British Library Conference Proceedings | 2012


    Verification of Real-Time Systems using Statistical Model Checking

    Hansen, Jeffery P. / Wrage, Lutz | AIAA | 2015


    Analysis of real-time code by model checking

    Guaspari, D. / Naydich, D. | IEEE | 2000


    Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems

    McKelvin, Mark L., Jr. / Gamble, Edward / Holzmann, Gerard | NTRS | 2011