Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verification of Real-Time Systems using Statistical Model Checking


    Beteiligte:
    Hansen, Jeffery P. (Autor:in) / Wrage, Lutz (Autor:in)

    Kongress:

    AIAA Infotech @ Aerospace



    Erscheinungsdatum :

    01.01.2015




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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