Suche in der Hochschulbibliografie

Treffer 1-3 von 3

Sortieren nach: JahrTitelVerfasser/in

Seite 1 von 1

Alle Titel auf dieser Seite auswählen

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

• 1
  49GBVUOB_ALMA2123695292000350149GBVUOB_ALMA21236952920003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236952920003501
  Artikel
  Semantics for timed message sequence charts via constraint diagrams

  von V. Grabowski ; Cheryl Kleuker ; Ernst-Rüdiger Olderog

  1998

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Kleuker, Cheryl ([-2000])Olderog, Ernst-Rüdiger

  Enthalten in: Proceedings / 1st Workshop of the SDL Forum Society on SDL and MSC, Berlin Berlin, 1998 2 (1998), S. 251 - 260

  Sprache: Englisch

  >> Volltext
• 2
  49GBVUOB_ALMA2123709412000350149GBVUOB_ALMA21237094120003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237094120003501
  Artikel
  Action diagrams

  von Cheryl Kleuker

  1997

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Kleuker, Cheryl ([-2000])

  Enthalten in: Real time programming 1998 Oxford [u.a.], 1998 S. 51 - 56

  Sprache: Englisch

  >> Volltext
• 3
  49GBVUOB_ALMA2123708287000350149GBVUOB_ALMA21237082870003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237082870003501
  Artikel
  Graphical specification and reasoning : case study generalized railroad crossing

  von Henning Dierks ; Cheryl Kleuker

  1997

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Kleuker, Cheryl ([-2000])Dierks, Henning

  Enthalten in: Industrial applications and strengthened foundations of formal methods Berlin [u.a.], 1997 S. 20 - 39

  Sprache: Englisch