Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Forms '99 - formale Techniken für die Eisenbahnsicherung



    Conference:

    Workshop Forms '99 ; 1999 ; 1999 ; Braunschweig Workshop Forms '99 ; 1999 (Braunschweig) : 1999.12.



    Edition :

    Als Ms. gedr.


    Publication date :

    2000


    Size :

    VI, 291 S


    Remarks:

    Ill., graph. Darst
    Beitr. teilw. engl., teilw. dt.
    Literaturangaben



    Type of media :

    Conference Proceedings


    Type of material :

    Print


    Language :

    German , English



    Classification :

    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