Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Modell und Software Verifikation vereinfacht - zeitkritische Software Anforderungen effizient testen


    Weitere Titelangaben:

    Model and software verification simplified - efficient testing of time critical software.



    Erschienen in:

    Erscheinungsdatum :

    2009


    Format / Umfang :

    5 pages


    Anmerkungen:

    Elektronik automotive;(2009)4 ;45-49


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    Software automatisch testen

    Kern, Winfried | IuD Bahn | 1994



    Software systematisch testen

    Zimmermann,T. | Kraftfahrwesen | 2003


    Ein Verfahren zur Software-Verifikation

    Krebs, H. / Haspel, U. | Tema Archiv | 1984