Searching for authors named "Josef Tapken" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Interactive And Compilative Simulation Of PLC-Automata
- …INTERACTIVE AND COMPILATIVE SIMULATION OF PLC-AUTOMATA Josef Tapken Department of Computer…
- Cited by 6 (4 self) – Add To MetaCart
-
Implementing Hierarchical Graph-Structures
- …Implementing Hierarchical Graph-Structures ? Josef Tapken Faculty of Computer Science, University…
- Cited by 4 (1 self) – Add To MetaCart
-
Modelling and Verifying of a "Cash-Point Service" using Moby/PLC
- …Modelling and Verifying of a "Cash-Point Service" using Moby/plc ? Josef Tapken and Henning Dierks…
- Cited by 1 (0 self) – Add To MetaCart
-
Tool-Supported Hierarchical Design of Distributed Real-Time Systems
- …Tool-Supported Hierarchical Design of Distributed Real-Time Systems Henning Dierks and Josef…
- Cited by 8 (7 self) – Add To MetaCart
-
Moby/PLC - Graphical Development of PLC-Automata
- …Moby/plc -- Graphical Development of PLC-Automata ? ?? Josef Tapken and Henning Dierks University…
- Cited by 4 (2 self) – Add To MetaCart
-
MOBY/DC - A Tool for Model-Checking Parametric Real-Time Specifications
- … and Josef Tapken 2 1 University of Oldenburg, Department of Computer Science, P.O.Box 2503 26111 Oldenburg…
- Cited by 3 (2 self) – Add To MetaCart
-
An M-Net Semantics for a Real-Time Extension of µSDL
- …An M-Net Semantics for a Real-Time Extension of ��SDL Hans Fleischhack and Josef Tapken Fachbereich…
- Add To MetaCart
-
MOBY - More than a Tool for the Verification of SDL-Specifications
- …, and Josef Tapken Fachbereich Informatik Carl-von-Ossietzky-Universitat Oldenburg D-26111 Oldenburg famthor…
- Cited by 4 (3 self) – Add To MetaCart
-
The Moby/plc Tutorial
- …The Moby/plc Tutorial Henning Dierks, Hans Fleischhack, Josef Tapken CvO-Universitat Oldenburg 16th…
- Add To MetaCart
Showing 1 through 9.
