SIGNAL+DRAHT | Ausgabe 04/2001
Formale Techniken zur Eisenbahnsicherung FORMS 2000 – eine Nachlese
Hersteller von Eisenbahnleit- und Sicherungstechnik, Gutachter, Wissenschaftler sowie Eisenbahnbetreiber und Vertreter der staatlichen Aufsichtsbehörde trafen sich am 29. und 30. November 2000 zum dritten Workshop FORMS 2000 in Braunschweig. Die Veranstaltung wurde, wie die vorherigen beiden Workshops dieser Reihe, unter der wissenschaftlichen Leitung von Prof. E. Schnieder vom Institut für Regelungs- und Automatisierungstechnik der TU Braunschweig organisiert.