Suche in der Hochschulbibliografie

Suche nach: Person = 'Tapken, Josef'

Treffer 1-8 von 8

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA2123669589000350149GBVUOB_ALMA21236695890003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236695890003501
Artikel
MOBY/DC : a tool for model-checking parametric real-time specifications
von Henning Dierks ; Josef Tapken
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Tapken, Josef ([-2001])Dierks, Henning
Enthalten in: Lecture notes in computer science (2003), S. 1 - 6
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA2123649836000350149GBVUOB_ALMA21236498360003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236498360003501
Artikel
Moby/PLC : eine graphische Entwicklungsumgebung für SPS-Programme
von Henning Dierks ; Josef Tapken
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Tapken, Josef ([-2001])Dierks, Henning
Enthalten in: at-Automatisierungstechnik 1 (2001), S. 38 - 44
Sprache: Deutsch
>> Volltext
3
49GBVUOB_ALMA2123645109000350149GBVUOB_ALMA21236451090003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236451090003501
Artikel
Modelling and verifying of \"Cash-Point Service\" using Moby/PLC
von Henning Dierks ; Josef Tapken
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Tapken, Josef ([-2001])Dierks, Henning
Enthalten in: Formal aspects of computing 12 (2000), S. 221 - 222
Sprache: Englisch
4
49GBVUOB_ALMA2123677018000350149GBVUOB_ALMA21236770180003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236770180003501
Artikel
Implementing hierarchical graph-structures
von Josef Tapken
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Tapken, Josef ([-2001])
Enthalten in: Fundamental approaches to software engineering Berlin [u.a.], 1999 S. 219 - 233
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA2123676903000350149GBVUOB_ALMA21236769030003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236769030003501
Artikel
MOBY/PLC : a desing tool for hierarchical real-time automata
von Josef Tapken
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Tapken, Josef ([-2001])
Enthalten in: Fundamental approaches to software engineering Berlin [u.a.], 1998 S. 1 - 4
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA2123668022000350149GBVUOB_ALMA21236680220003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236680220003501
Artikel
MOBY/PLC-graphical development of PLC-automata
von Josef Tapken ; Henning Dierks
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Dierks, HenningTapken, Josef ([-2001])
Enthalten in: Formal techniques in real-time and Fault-tolerant systems Berlin [u.a.], 1998 S. 311 - 314
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA2123669265000350149GBVUOB_ALMA21236692650003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236692650003501
Artikel
Tool-supported hierarchical design of distributed real-time systems
von Henning Dierks ; Josef Tapken
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Tapken, Josef ([-2001])Dierks, Henning
Enthalten in: Proceedings of the 10th EuroMicro Workshop on Real Time Systems, 1998 1998 S. 222 - 229
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA2123679692000350149GBVUOB_ALMA21236796920003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236796920003501
Artikel
Interactive and compilative simulation of PLC-automata
von Josef Tapken
1997
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Tapken, Josef ([-2001])
Enthalten in: Simulation in industry Passau, 1997 S. 1 - 5
Sprache: Englisch
>> Volltext