Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automated Verification of Code Generated from Models: Comparing Specifications with Observations



    Kongress:

    Conference, Data systems in aerospace DASIA ; 2008 ; Palma de Majorca, Spain



    Erscheinungsdatum :

    2008-01-01


    Format / Umfang :

    27 pages


    Anmerkungen:

    Held in e-store (RMS)




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Automated verification of code generated from models: Comparing specifications with observations

    Gerlich, Ralf / Sigg, Daniel / Gerlich, Rainer | Tema Archiv | 2008


    Automated testing from specifications

    Srinivasan, J. / Leveson, N. | IEEE | 2002


    Automated derivation of tests from specifications

    Stoitsev, Todor / Straw, Steven / Legat, Christoph et al. | AIAA | 2018