| 2007 |
|---|
| 7 | EE | Alexander Pacholik,
Wolfgang Fengler:
A system model for formal verification of TLM based transaction properties.
SpringSim (1) 2007: 93-99 |
| 2005 |
|---|
| 6 | | Wolfgang Fengler,
Bernd Däne:
Entwurfsverfahren für eingebettete Systeme zum Einsatz in der Mechatronik.
GI Jahrestagung (2) 2005: 688-692 |
| 2003 |
|---|
| 5 | | Bernd Däne,
Wolfgang Fengler,
Falk Berger:
Modeling and Simulation of Operating System Behavior.
Modelling, Simulation, and Optimization 2003: 78-81 |
| 2002 |
|---|
| 4 | | Olga Fengler,
Wolfgang Fengler,
Vesselka Duridanova:
Modeling of Complex Automation Systems using Colored State Charts.
ICRA 2002: 1901-1906 |
| 3 | EE | Olga Fengler,
Wolfgang Fengler,
Vesselka Duridanova:
Extending the Modeling Efficiency of the UML Activity Diagram for the Design of Distributed Systems.
IICS 2002: 51-62 |
| 1998 |
|---|
| 2 | | Jürgen Nützel,
Bernd Däne,
Wolfgang Fengler:
Object Nets for the Design and Verification of Distributed and Embedded Applications.
IPPS/SPDP Workshops 1998: 953-962 |
| 1991 |
|---|
| 1 | | Wolfgang Fengler,
Ulrike Sörgel,
Almuth Wendt:
Implementierungsmethodik von Programmen und Entwicklungsumgebungen für modulare Mehrrechner-Prozessautomatisierungssysteme.
Prozeßrechnersysteme 1991: 304-312 |
