| |
| 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 | |
| 1 | Henning Dierks | [2] [4] [6] |
| 2 | Hans Fleischhack | [1] |