1–20 von 30 Ergebnissen
|

    Leit- und Automatisierungstechnik für den Verkehr : Vorträge der GMA-Fachtagung anläßlich des VDE-Kongresses '96 am 16. Oktober 1996 in Braunschweig

    VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik | TIBKAT | 1996
    Beteiligte: Schnieder, Eckehard

    Forms 2000 - Formale Techniken für die Eisenbahnsicherung

    Forms | TIBKAT | 2000
    Beteiligte: Schnieder, Eckehard

    Forms '99 - formale Techniken für die Eisenbahnsicherung

    Forms / Workshop Forms | TIBKAT | 2000
    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

    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

    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

    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

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

    Verkehrsleittechnik : Automatisierung des Straßen- und Schienenverkehrs

    Schnieder, Eckehard | TIBKAT | 2007
    Beteiligte: Schnieder, Eckehard

    Verkehrsleittechnik : Automatisierung des Straßen- und Schienenverkehrs ; mit 45 Tabellen

    Schnieder, Eckehard / Becker, Uwe | TIBKAT | 2007
    Beteiligte: Schnieder, Eckehard

    Validierung von satellitenbasierten Eisenbahnortungssystemen

    Freier Zugriff
    Poliak, Ján | TIBKAT | 2009
    Beteiligte: Schnieder, Eckehard

    Entwicklung einer Methodik zur Zertifizierung von Ortungseinrichtungen unter sicherheitsrelevanten Aspekten : ZEUS ; Endbericht

    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 | TIBKAT | 2009
    Beteiligte: Schnieder, Eckehard

    Genauigkeit satellitengestützter Bewegungsmesssysteme und Entwicklung einer Messplattform für Landfahrzeuge : Gemini ; Endbericht

    Freier Zugriff
    Institut für Verkehrssicherheit und Automatisierungstechnik, Braunschweig | TIBKAT | 2010
    Beteiligte: Schnieder, Eckehard

      Genauigkeit satellitengestützter Bewegungsmesssysteme und Entwicklung einer Messplattform für Landfahrzeuge : Gemini ; Endbericht

      Institut für Verkehrssicherheit und Automatisierungstechnik, Braunschweig | TIBKAT | 2010
      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