Schnieder, Eckehard
Schnieder, Eckehard, 1949-
Eckehard Schnieder
VIAF ID: 85673085 ( Personal )
Permalink: http://viaf.org/viaf/85673085
Preferred Forms
- 100 0 _ ‡a Eckehard Schnieder
- 200 _ | ‡a Schnieder ‡b Eckehard
-
-
- 100 1 _ ‡a Schnieder, Eckehard
-
- 100 1 0 ‡a Schnieder, Eckehard
- 100 1 _ ‡a Schnieder, Eckehard ‡d 1949-
- 100 1 _ ‡a Schnieder, Eckehard ‡d 1949-
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
About the proof of safety case for a bord autonomous satellite based localisation unit for railways | |
Aufgabensammlung zur Regelungstechnik lineare u. nichtlineare Regelvorgänge ; für Elektrotechniker, Physiker u. Maschinenbauer ab 5. Sem. | |
Control in transportation systems 2000, 2001: | |
Development and analysis of a Train-centric Distance Measurement System by means of Colored Petri Nets | |
Digitale Nachbildung stromrichtergespeister Maschinen unter besonderer Berücksichtigung der wechselrichtergespeisten reihenschlusserregten Reluktanzmaschine | |
Durchführbarkeitsanalyse und Validierung eines Feldbussystems mit einer großen Anzahl an Busteilnehmern mit formalen Methoden | |
Entwicklung und Analyse eines Zug-zentrischen Entfernungsmesssystems mittels Colored Petri Nets | |
Entwurf komplexer Automatisierungssysteme Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel ; 5. Fachtagung mit Tutorium, 21. bis 23. Mai 1997 | |
Forms 2000 - formale Techniken für die Eisenbahnsicherung | |
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems | |
International Workshop on Software Specification of Safety Relevant Transportation Control Tasks 23 - 24 April 2002, Braunschweig | |
Model-based prognosis of road traffic safety | |
Modeling, Simulation, and Realization of Cognitive Technical Systems | |
Modelling, analysis and design of hybrid systems | |
Momente eines Jubiläums, 1996: | |
Optimierung einer induktiven Energieversorgungsinfrastruktur für den urbanen Straßenverkehr | |
Optimization of an inductive charging infrastructure for urban road traffic | |
Performability Analysis and Validation of a Large Scale Fieldbus System by Formal Methods | |
Petrinetze in der Automatisierungstechnik mit 18 Tabellen | |
Prozessinformatik Einf. mit Petrinetzen ; für Elektrotechniker u. Informatiker, Maschinenbauer u. Physiker nach d. Grundstudium | |
Qualification of safety relevant satellite based localisation systems for ground transportation | |
Sicherheitsforschung-Chancen und Perspektiven | |
Systematische Modellierung und Analyse verteilter Automatisierungssysteme | |
Verkehrsleittechnik : Automatisierung des Straßen- und Schienenverkehrs | |
Verkehrssicherheit Maße und Modelle, Methoden und Maßnahmen für den Straßen- und Schienenverkehr | |
Wird der Verkehr automatisch sicherer? Beschreibungsmittel, Methoden und Werkzeuge des integierten Systementwurfs zur Fahrzeug- und Verkehrsautomatisierung | |
Zur Sicherheitsnachweisführung einer bordautonomen satellitenbasierten Ortungseinheit für den Schienenverkehr |