Media type: Book; Conference Proceedings Title: Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems Contributor: Schnieder, Eckehard [Hrsg.]; Tarnai, Géza [Other] imprint: Berlin; Heidelberg [u.a.]: Springer, 2011 Extent: XI, 256 S.; Ill., graph. Darst Language: English ISBN: 9783642142604; 3642142605 Publisher, production or purchase order numbers: Sonstige Nummer: 80017704 RVK notation: ZO 5870 : Verkehrssicherheit von Schienen- und Spezialbahnen ZO 2000 : Kongressberichte ab Jahr 2000 ZO 4870 : Straßenverkehrssicherheit; Technischer Überwachungsverein (TÜV) Keywords: Eisenbahnverkehr > Eisenbahnsignalanlage > Verkehrsleitsystem > Sicherheitsanalyse > Formale Methode Straßenverkehr > Verkehrsleitsystem > Verkehrssicherheit > Formale Methode Technische Sicherheit > Straßenverkehr > Schienenverkehr Origination: Footnote: Literaturangaben
Departmental Library DrePunct – open access area Shelf-mark: ZO 2000.10 S361 Item ID: 32896998 Status: Loanable