> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Forms 2000 - Formale Techniken für die Eisenbahnsicherung Beteiligte: Schnieder, Eckehard [Hrsg.] Erschienen: Düsseldorf: VDI-Verl., 2000 Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 441 Berichte der Institute für Automatisierungstechnik, Technische Universität Braunschweig Ausgabe: Als Ms. gedr. Umfang: V, 214 S.; graph. Darst Sprache: Deutsch; Englisch ISBN: 3183441128 RVK-Notation: ZO 5130 : Sicherungswesen Schlagwörter: Eisenbahnsignalanlage > Verkehrsleitsystem > Softwareentwicklung > Formale Spezifikationstechnik Entstehung: Anmerkungen: Beitr. teils dt., teils engl Weitere Bestandsnachweise 0 : Fortschrittberichte VDI / 12