1–14 von 14 Ergebnissen
|

    FORMS/FORMAT 2014 : 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; [30.09.2014 - 02.10.2014]

    Schnieder, Eckehard / Tarnai, Géza | TIBKAT | 2014
    Beteiligte: Schnieder, Eckehard

      FORMS/FORMAT 2014 : 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems ; [30.09.2014 - 02.10.2014]

      Schnieder, Eckehard / Tarnai, Géza | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2014
      Beteiligte: Schnieder, Eckehard

    International Workshop on Software Specification of Safety Relevant Transportation Control Tasks : 23. - 24. April 2002, Braunschweig

    International Workshop on Software Specification of Safety Relevant Transportation Control Tasks / Institut für Verkehrssicherheit und Automatisierungstechnik, Braunschweig | TIBKAT | 2003
    Beteiligte: Schnieder, Eckehard

    FORMS/FORMAT 2012 : 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems

    FORMS, FORMAT | TIBKAT | 2012
    Beteiligte: Schnieder, Eckehard

      FORMS/FORMAT 2012 : 9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems

      FORMS, FORMAT | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2012
      Beteiligte: Schnieder, Eckehard

    Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems

    Schnieder, Eckehard / Tarnai, Géza | TIBKAT | 2011
    Beteiligte: Schnieder, Eckehard

      Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems

      Schnieder, Eckehard / Tarnai, Géza | SLUB | 2011
      Beteiligte: Schnieder, Eckehard

    Forms 2000 - Formale Techniken für die Eisenbahnsicherung

    Forms | TIBKAT | 2000
    Beteiligte: Schnieder, Eckehard

      Forms 2000 - Formale Techniken für die Eisenbahnsicherung

      Schnieder, Eckehard | SLUB | 2000
      Beteiligte: Schnieder, Eckehard

    Forms '99 - formale Techniken für die Eisenbahnsicherung

    Forms / Workshop Forms | TIBKAT | 2000
    Beteiligte: Schnieder, Eckehard

    Wird der Verkehr automatisch sicherer? : 20 Jahre - vom IfRA zum iVA - Jubiläumskolloquium ; Beschreibungsmittel, Methoden und Werkzeuge des integrierten Systementwurfs zur Fahrzeug- und Verkehrsautomatisierung ; 04. September 2009 in Braunschweig

    Institut für Regelungs- und Automatisierungstechnik, Braunschweig / Institut für Verkehrssicherheit und Automatisierungstechnik, Braunschweig | TIBKAT | 2009
    Beteiligte: Schnieder, Eckehard

      Wird der Verkehr automatisch sicherer? : 20 Jahre - vom IfRA zum iVA - Jubiläumskolloquium ; Beschreibungsmittel, Methoden und Werkzeuge des integrierten Systementwurfs zur Fahrzeug- und Verkehrsautomatisierung ; 04. September 2009 in Braunschweig

      Institut für Regelungs- und Automatisierungstechnik, Braunschweig / Institut für Verkehrssicherheit und Automatisierungstechnik, Braunschweig | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2009
      Beteiligte: Schnieder, Eckehard

    FORMS/FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems : proceedings of [5th] Symposium FORMS/FORMAT 2004 Braunschweig, Germany, December 2nd and 3rd 2004

    Symposium FORMS, FORMAT / Institut für Verkehrssicherheit und Automatisierungstechnik, Braunschweig | TIBKAT | 2004
    Beteiligte: Schnieder, Eckehard

    Control in transportation systems 2000 : a proceedings volume from the 9th IFAC Symposium, Braunschweig, Germany, 13 - 15 June 2000 / ed. by E. Schnieder and U. Becker ; Vol. 1

    Symposium Control in Transportation Systems / Internationale Förderung für Automatische Lenkung | TIBKAT | 2001
    Beteiligte: Schnieder, Eckehard

    Transportation systems 2000 : preprints of the 9th IFAC symposium, Braunschweig, Germany, 13-15 June 2000 / ed. by E.Schnieder ... ; Vol. 2

    Symposium Control in Transportation Systems / Internationale Förderung für Automatische Lenkung | TIBKAT | 2000
    Beteiligte: Schnieder, Eckehard

    Control in transportation systems 2000 : a proceedings volume from the 9th IFAC Symposium, Braunschweig, Germany, 13 - 15 June 2000 / ed. by E. Schnieder and U. Becker ; Vol. 2

    Symposium Control in Transportation Systems / Internationale Förderung für Automatische Lenkung | TIBKAT | 2001
    Beteiligte: Schnieder, Eckehard

    Transportation systems 2000 : preprints of the 9th IFAC symposium, Braunschweig, Germany, 13-15 June 2000 / ed. by E.Schnieder ... ; Vol. 1

    Symposium Control in Transportation Systems / Internationale Förderung für Automatische Lenkung | TIBKAT | 2000
    Beteiligte: Schnieder, Eckehard