Search the dblp DataBase
Eckehard Schnieder :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
K. Lemmer , Eckehard Schnieder Modelling and Control of Complex Logistic Systems for Manufacturing. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1992, pp:373-378 [Conf ] Eckehard Schnieder , Jörg R. Müller A Formal Description of the Basic Concepts of System Theory for Transportation. [Citation Graph (0, 0)][DBLP ] Formal Methods in Software and Systems Modeling, 2005, pp:402-411 [Conf ] Eckehard Schnieder Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems. [Citation Graph (0, 0)][DBLP ] SoftSpez Final Report, 2004, pp:89-95 [Conf ] Eckehard Schnieder , Mourad Chouikha , Stefan Einer , Michael Meyer zu Hörste BASYSNET - An Integrated Approach for Automated Control System Development. [Citation Graph (0, 0)][DBLP ] Petri Net Technology for Communication-Based Systems, 2003, pp:352-362 [Conf ] Frank Hänsel , Jan Poliak , Roman Slovák , Eckehard Schnieder Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. [Citation Graph (0, 0)][DBLP ] SoftSpez Final Report, 2004, pp:96-118 [Conf ] Michael Meyer zu Hörste , Eckehard Schnieder Formal Modelling and Simulation of Train Control Systems Using Petri Nets. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:1867- [Conf ] Eckehard Schnieder Modellkonzepte in der Automatisierungstechnik. [Citation Graph (0, 0)][DBLP ] Modellierung, 2001, pp:7-17 [Conf ] Eckehard Schnieder Organisationsstruktur der Fahrzeugsteuerung von Magnetschnellbahnen. [Citation Graph (0, 0)][DBLP ] Fachtagung Prozessrechner, 1984, pp:507-516 [Conf ] Bernd Werther , Eckehard Schnieder Formal Cognitive Resource Model: Modeling of human behavior in complex work environments. [Citation Graph (0, 0)][DBLP ] CIMCA/IAWTIC, 2005, pp:606-611 [Conf ] Duality in high level petri-nets: a basis to do diagnoses. [Citation Graph (, )][DBLP ] Reference Measurement Platforms for Satellite Based Localisation in Ground Transportation. [Citation Graph (, )][DBLP ] Traffic Flow Organization by means of a Vehicle-Sided Rule-Bases. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.002secs