Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Statematebasierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung


    Additional title:

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


    Contributors:

    Publication date :

    2000


    Size :

    16 pages


    Remarks:

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


    Type of media :

    Miscellaneous


    Type of material :

    Print


    Language :

    German



    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