Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Petri-Netz basierte Verifikation von funktionalen Testfällen


    Contributors:

    Published in:

    Edition :

    1. Aufl.


    Publication date :

    2012


    Size :

    VIII, 211 S.


    Remarks:

    Ill., graph. Darst.
    Digital preservation by Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek



    Type of media :

    Theses


    Type of material :

    Print


    Language :

    German



    Classification :

    DDC:    629.25490285514
    RVK:    ZO 4250



    Verifikation des NSFLEX-Verfahrens an verschiedenen Testfällen

    Schmidt-Nechl, O. / Hubschrauber und Flugzeuge, Messerschmitt-Bölkow-Blohm GmbH, Ottobrunn | TIBKAT | 1990


    Entwicklung von Testfällen für ERTMS

    Kahl, Richard / Maschek, Ulrich / Han, Yadi et al. | DataCite | 2019


    Entwicklung von Testfällen für ERTMS (Anhang 2)

    Kahl, Richard / Maschek, Ulrich / Han, Yadi et al. | DataCite | 2019



    Statemate basierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung

    Damm, W. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2000