Showing 1 - 3 results of 3 for search 'Schnieder, Eckehard', query time: 0.02s Refine Results
  1. 1
    FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems /
    Published 2011
    Other Authors: “…Schnieder, Eckehard…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Modelling, analysis, and design of hybrid systems
    Published 2002
    Other Authors: “…Schnieder, Eckehard…”
    Book
  3. 3
    Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report /
    Published 2004
    Other Authors: “…Schnieder, Eckehard…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search