Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Statematebasierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung


    Weitere Titelangaben:

    Statemate-based controller modeling and verification: concepts and applications.


    Beteiligte:

    Erscheinungsdatum :

    2000


    Format / Umfang :

    16 pages


    Anmerkungen:

    1.Braunschweiger Symposium Automatisierungs- und Assistenzsysteme f.Transportmittel; 2000


    Medientyp :

    Sonstige


    Format :

    Print


    Sprache :

    Deutsch



    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



    Makroskopische Modellierung der Wirkung von Leit- und Steuerungssystemen im Schnellstraßenverkehr

    Demir, Cesim / Technische Universität Hamburg-Harburg, Arbeitsgruppe Automatisierungstechnik | TIBKAT | 2002


    Makroskopische Modellierung der Wirkung von Leit- und Steuerungssystemen im Schnellstraßenverkehr

    Technische Universität Hamburg-Harburg, Arbeitsgruppe Automatisierungstechnik | SLUB | 2002