Media type: Book; Conference Proceedings Title: Forms 2000 - Formale Techniken für die Eisenbahnsicherung Contributor: Schnieder, Eckehard [Hrsg.] Published: Düsseldorf: VDI-Verl., 2000 Published in: Verein Deutscher Ingenieure: Fortschrittberichte VDI / 12 ; 441 Berichte der Institute für Automatisierungstechnik, Technische Universität Braunschweig Issue: Als Ms. gedr. Extent: V, 214 S.; graph. Darst Language: German; English ISBN: 3183441128 Origination: RVK notation: ZO 5130 : Sicherungswesen Keywords: Eisenbahnsignalanlage > Verkehrsleitsystem > Softwareentwicklung > Formale Spezifikationstechnik Footnote: Beitr. teils dt., teils engl
Departmental Library DrePunct – open access area Shelf-mark: ZO 1712-441 Item ID: 30256287 Status: Loanable