Suche in der Hochschulbibliografie

Treffer 21-30 von 31

Sortieren nach: JahrTitelVerfasser/in

• 
• 
Seite 3 von 4
• 
• 

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 21
  49GBVUOB_ALMA2123631106000350149GBVUOB_ALMA21236311060003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236311060003501
  Artikel
  PLC-automata : a new class of implementable real-time automata

  von Henning Dierks

  2000

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Dierks, Henning

  Enthalten in: Theoretical computer science 253 (2000), S. 61 - 93

  Sprache: Englisch
• 22
  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
• 23
  49GBVUOB_ALMA2123669119000350149GBVUOB_ALMA21236691190003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236691190003501
  Artikel
  Synthesizing controllers from real-time specifications

  von Henning Dierks

  1999

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Dierks, Henning

  Enthalten in: IEEE transactions on computer-aided design of integrated circuits and systems 18 (1999), S. 33 - 43

  Sprache: Englisch
• 24
  49GBVUOB_ALMA2123669637000350149GBVUOB_ALMA21236696370003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236696370003501
  Artikel
  Comparing model-checking and logical reasoning for real-time systems

  von Henning Dierks

  1998

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Dierks, Henning

  Enthalten in: ESSLLI '98 1998 S. 13 - 22

  Sprache: Englisch

  >> Volltext
• 25
  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
• 26
  49GBVUOB_ALMA2123670890000350149GBVUOB_ALMA21236708900003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236708900003501
  Artikel
  A unifying framework for correct program construction

  von Henning Dierks ; Michael Schenke

  1998

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Schenke, Michael ([1990-2008])Dierks, Henning

  Enthalten in: Mathematics of program construction Berlin [u.a.], 1998 S. 122 - 150

  Sprache: Englisch

  >> Volltext
• 27
  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
• 28
  49GBVUOB_ALMA2123669234000350149GBVUOB_ALMA21236692340003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236692340003501
  Artikel
  Decomposing real-time specifications

  von Ernst-Rüdiger Olderog ; Henning Dierks

  1998

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Dierks, HenningOlderog, Ernst-Rüdiger

  Enthalten in: Compositionality Berlin [u.a.], 1998 S. 465 - 489

  Sprache: Englisch

  >> Volltext
• 29
  49GBVUOB_ALMA2123668180000350149GBVUOB_ALMA21236681800003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236681800003501
  Artikel
  Operational and logical semantics for polling real-time systems

  von Henning Dierks ; Ansgar Fehnker ; Angelika Mader ; Frits Vaandrager

  1998

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Dierks, Henning

  Enthalten in: Formal techniques in real-time and Fault-tolerant systems Berlin [u.a.], 1998 S. 29 - 40

  Sprache: Englisch

  >> Volltext
• 30
  49GBVUOB_ALMA2123704919000350149GBVUOB_ALMA21237049190003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237049190003501
  Artikel
  Synthesising controllers from real-time specifications

  von Henning Dierks

  1997

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Dierks, Henning

  Enthalten in: Proceedings / Tenth International Symposium on System Synthesis (ISSS), Antwerpen Los Alamos, Calif. [u.a.], 1997 S. 126 - 133

  Sprache: Englisch

  >> Volltext