Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification of Real-Time Systems using Statistical Model Checking


    Contributors:

    Conference:

    AIAA Infotech @ Aerospace



    Publication date :

    2015-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Verification of Real-Time Systems using Statistical Model Checking (AIAA 2015-1866)

    Hansen, Jeffery P. / Wrage, Lutz / Chaki, Sagar et al. | British Library Conference Proceedings | 2015


    Statistical Model Checking for Scenario-Based Verification of ADAS

    Gerwinn, Sebastian / Möhlmann, Eike / Sieper, Anja | Springer Verlag | 2018


    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


    Using SPIN model checking for flight software verification

    Gluck, P.R. / Holzmann, G.J. | IEEE | 2002