Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Forms 2000 - Formale Techniken für die Eisenbahnsicherung


    Contributors:

    Conference:

    Workshop: Forms 2000 ; 2000 ; 2000 ; Braunschweig Workshop: Forms 2000 ; 2000 (Braunschweig) : 2000.11.29-30


    Edition :

    Als Ms. gedr.


    Publication date :

    2000


    Size :

    V, 214 S.


    Remarks:

    graph. Darst.
    Beitr. teils dt., teils engl.
    Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek



    Type of media :

    Conference Proceedings


    Type of material :

    Print


    Language :

    German , English



    Classification :

    RVK:    ZO 5130
    BKL:    55.34 Bahnbetriebstechnik





    Formale Techniken fur die Eisenbahnsicherungstechnik

    Schnieder, E. / Einer, S. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000



    Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung

    Meyer zu Hörste, M. / Schnieder, E. | Tema Archive | 2000