Forms '99 - formale Techniken für die Eisenbahnsicherung
Workshop Forms '99 ; 1999 ; 1999 ; Braunschweig Workshop Forms '99 ; 1999 (Braunschweig) : 1999.12.
Als Ms. gedr.
2000
VI, 291 S
Ill., graph. Darst
Beitr. teilw. engl., teilw. dt.
Literaturangaben
Konferenzband
Deutsch , Englisch
BKL: | 55.34 Bahnbetriebstechnik |
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
TIBKAT | 2000
|Formale Techniken fur die Eisenbahnsicherungstechnik
British Library Conference Proceedings | 2000
|Formale Techniken für die Eisenbahnsicherungstechnik
IuD Bahn | 1999
|Kompositionelle Formale Robustheitsprüfung
Tema Archiv | 2010
|