 | 2007 |
|---|
| 11 |       | Jörg R. Müller,
Eckehard Schnieder:
Duality in high level petri-nets: a basis to do diagnoses.
Winter Simulation Conference 2007: 629-636 |
| 2005 |
|---|
| 10 |  | Bernd Werther,
Eckehard Schnieder:
Formal Cognitive Resource Model: Modeling of human behavior in complex work environments.
CIMCA/IAWTIC 2005: 606-611 |
| 9 | | Eckehard Schnieder,
Jörg R. Müller:
A Formal Description of the Basic Concepts of System Theory for Transportation.
Formal Methods in Software and Systems Modeling 2005: 402-411 |
| 2004 |
|---|
| 8 | | Hartmut Ehrig,
Werner Damm,
Jörg Desel,
Martin Große-Rhode,
Wolfgang Reif,
Eckehard Schnieder,
Engelbert Westkämper:
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report
Springer 2004 |
| 7 | | Eckehard Schnieder:
Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems.
SoftSpez Final Report 2004: 89-95 |
| 6 | | 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.
SoftSpez Final Report 2004: 96-118 |
| 2003 |
|---|
| 5 | | Eckehard Schnieder,
Mourad Chouikha,
Stefan Einer,
Michael Meyer zu Hörste:
BASYSNET - An Integrated Approach for Automated Control System Development.
Petri Net Technology for Communication-Based Systems 2003: 352-362 |
| 2001 |
|---|
| 4 | | Eckehard Schnieder:
Modellkonzepte in der Automatisierungstechnik.
Modellierung 2001: 7-17 |
| 1999 |
|---|
| 3 | | Michael Meyer zu Hörste,
Eckehard Schnieder:
Formal Modelling and Simulation of Train Control Systems Using Petri Nets.
World Congress on Formal Methods 1999: 1867 |
| 1992 |
|---|
| 2 | | K. Lemmer,
Eckehard Schnieder:
Modelling and Control of Complex Logistic Systems for Manufacturing.
Application and Theory of Petri Nets 1992: 373-378 |
| 1984 |
|---|
| 1 | | Eckehard Schnieder:
Organisationsstruktur der Fahrzeugsteuerung von Magnetschnellbahnen.
Fachtagung Prozessrechner 1984: 507-516 |
