Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Petri-Netz basierte Verifikation von funktionalen Testfällen


    Beteiligte:

    Erschienen in:

    Ausgabe :

    1. Aufl.


    Erscheinungsdatum :

    2012


    Format / Umfang :

    VIII, 211 S.


    Anmerkungen:

    Ill., graph. Darst.
    Langzeitarchivierung durch Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek



    Medientyp :

    Hochschulschrift


    Format :

    Print


    Sprache :

    Deutsch



    Klassifikation :

    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 Archiv | 2005