Skip to main content

2 Result(s)

within Book Remove this filter Eckehard Schnieder Remove this filter English Remove this filter

and

  1. No Access

    Book and Conference Proceedings

    FORMS/FORMAT 2010

    Formal Methods for Automation and Safety in Railway and Automotive Systems

    Eckehard Schnieder, Geza Tarnai (2011)

  2. No Access

    Book

    Integration of Software Specification Techniques for Applications in Engineering

    Priority Program SoftSpez of the German Research Foundation (DFG), Final Report

    Hartmut Ehrig, Werner Damm, Jörg Desel… in Lecture Notes in Computer Science (2004)