Josef Tapken

Publication Activity (10 Years)

Years Active: 1997-2000
Publications (10 Years): 0

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Henning Dierks, Josef Tapken
Modelling and Verifying of a 'Cash-Point Service' Using MOBY/PLC. Formal Aspects Comput. 12 (4) (2000)
Josef Tapken
Implementing Hierarchical Graph-Structures. FASE (1999)
Josef Tapken
MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata. FASE (1998)
Josef Tapken, Henning Dierks
MOBY/PLC - Graphical Development of PLC-Automata. FTRTFT (1998)
Henning Dierks, Josef Tapken
Tool-supported hierarchical design of distributed real-time systems. ECRTS (1998)
Hans Fleischhack, Josef Tapken
An M-Net Semantics for a Real-Time Extension of µSDL. FME (1997)