Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Dynamische Zusatandsautomaten Verifikation


    Weitere Titelangaben:

    Dynamic statechart verification.



    Erscheinungsdatum :

    2005


    Format / Umfang :

    13 pages


    Anmerkungen:

    VDI-Ber.; 2005;Erprobung und Simulation in der Fahrzeugentwicklung,Wuerzburg,Juni 2005;VDI-Berichte;Nr.;1900


    Medientyp :

    Sonstige


    Format :

    Print


    Sprache :

    Deutsch



    Dynamische Zustandsautomaten Verifikation

    Braitschink, P. / Reuss, H.C. | Tema Archiv | 2005




    Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen

    Sperling,T. / Esterel Technologies,Ottobrunn,DE | Kraftfahrwesen | 2002


    VERIFIKATION VON SENSORDATEN

    SALARI KHANIKI MEHRDAD / MAIR ULRICH | Europäisches Patentamt | 2019

    Freier Zugriff