Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)