> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Forms '99 - formale Techniken für die Eisenbahnsicherung Beteiligte: Schnieder, Eckehard [Hrsg.] Veranstaltung: Forms Workshop Forms Erschienen: Düsseldorf: VDI-Verl., 2000 Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 43600 Berichte der Institute für Automatisierungstechnik, Technische Universität Braunschweig Ausgabe: Als Ms. gedr. Umfang: VI, 291 S; Ill., graph. Darst Sprache: Deutsch ISBN: 3183436124 Schlagwörter: Eisenbahnverkehr > Verkehrsleitsystem > Systementwurf > Formale Methode Eisenbahnverkehr > Sicherheitstechnik > Systementwurf > Formale Methode Entstehung: Anmerkungen: Beitr. teilw. engl., teilw. dt Literaturangaben Weitere Bestandsnachweise 0 : Fortschrittberichte VDI / 12