Home Advanced Search

Advanced Search - Page 1

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
  • PDF
  • English
  • Year: 2011
  • Author: Ralf Schweinsberg (auth.), Eckehard Schnieder, Geza Tarnai (eds.)
FORMS/FORMAT 2010: formal methods for automation and safety in railway and automotive systems
  • PDF
  • English
  • Year: 2011
  • Author: Schnieder, Eckehard(Editor);Tarnai, Geza(Editor)
Verkehrssicherheit: Maße und Modelle, Methoden und Maßnahmen für den Straßen- und Schienenverkehr
  • PDF
  • German
  • Year: 2013
  • Author: Eckehard Schnieder, Lars Schnieder (auth.)
Sicherheitsforschung-Chancen und Perspektiven
  • PDF
  • German
  • Year: 2010
  • Author: Prof. Dr.-Ing. habil. Petra Winzer, Prof. Dr.-Ing. Dr. h.c. Eckehard Schnieder (auth.), Prof. Dr.-Ing. Petra Winzer, Prof. Dr.-Ing. Eckehard Schnieder, Prof. Dr.-Ing. Friedrich-Wilhelm Bach (eds.)
Modelling, Analysis, and Design of Hybrid Systems
  • PDF
  • English
  • Year: 2002
  • Author: Jan Lunze (auth.), Prof. Dr. Sebastian Engell, Dipl.-Ing. Goran Frehse, Prof. Dr.-Ing. Eckehard Schnieder (eds.)
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
  • DJVU
  • English
  • Year: 2004
  • Author: Hartmut Ehrig (auth.), Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.)