Eckehard Schnieder

Verkehrssicherheit: Maße und Modelle, Methoden und Maßnahmen für den Straßen- und Schienenverkehr

2013 · GERMAN · PDF

View details →

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

2011 · ENGLISH · PDF

View details →

Verkehrsleittechnik: Automatisierung des Straßen- und Schienenverkehrs - VDI-Buch

2007 · GERMAN · PDF

View details →

Sicherheitsforschung: Chancen und Perspektiven (acatech DISKUTIERT)

2009 · GERMAN · PDF

View details →

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report

2004 · ENGLISH · DJVU

View details →