Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Executable Formal Models for Validation and Specless Verification


    Beteiligte:

    Kongress:

    19th, Digital avionics systems conference; 19th DASC ; 2000 ; Philadelphia, PA



    Erscheinungsdatum :

    01.01.2000


    Format / Umfang :

    1A4


    Anmerkungen:

    IEEE cat nos 00CH37126



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Executable formal models for validation and specless verification

    Greve, D. / Wilding, M. | Tema Archiv | 2000


    Automatic validation of Simulink/Stateflow models - formal verification of functional requirements

    Bienmueller,T. / Brockmeyer,U. / Sandmann,G. et al. | Kraftfahrwesen | 2005


    Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment

    Christian, Drabek / Thomas, Pramsohler / Marc, Zeller, Gereon, Weiss | BASE | 2013

    Freier Zugriff

    Hierarchical Accumulative Validation of Executable Control Specifications

    Mizuno, Hideaki / Farnsworth, Jared / Ueda, Koichi et al. | SAE Technical Papers | 2013