| 2000 |
|---|
| 6 | EE | Henning Dierks,
Josef Tapken:
Modelling and Verifying of a `Cash-Point Service' Using MOBY/PLC.
Formal Asp. Comput. 12(4): 220-221 (2000) |
| 1999 |
|---|
| 5 | | Josef Tapken:
Implementing Hierarchical Graph-Structures.
FASE 1999: 219-233 |
| 1998 |
|---|
| 4 | EE | Henning Dierks,
Josef Tapken:
Tool-supported hierarchical design of distributed real-time systems.
ECRTS 1998: 222-229 |
| 3 | EE | Josef Tapken:
MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata.
FASE 1998: 326-329 |
| 2 | EE | Josef Tapken,
Henning Dierks:
MOBY/PLC - Graphical Development of PLC-Automata.
FTRTFT 1998: 311-314 |
| 1997 |
|---|
| 1 | | Hans Fleischhack,
Josef Tapken:
An M-Net Semantics for a Real-Time Extension of µSDL.
FME 1997: 162-181 |
