Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Forms '99 - formale Techniken für die Eisenbahnsicherung


    Beteiligte:

    Kongress:

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



    Ausgabe :

    Als Ms. gedr.


    Erscheinungsdatum :

    2000


    Format / Umfang :

    VI, 291 S


    Anmerkungen:

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



    Medientyp :

    Konferenzband


    Format :

    Print


    Sprache :

    Deutsch , Englisch



    Klassifikation :

    BKL:    55.34 Bahnbetriebstechnik





    Formale Techniken fur die Eisenbahnsicherungstechnik

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



    Kompositionelle Formale Robustheitsprüfung

    Frehse, Stefan / Fey, Görschwin | Tema Archiv | 2010