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



    Entwicklung von Testfällen für ERTMS

    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



    Video-basierte Objekt-Detektion und Verifikation von Radar-Objekt-Hypothesen für Komfort- und Sicherheitsfunktionen

    Simon, Stephan / Niehsen, Wolfgang / Klotz, Albrecht et al. | Tema Archive | 2005