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_ALMA2123673443000350149GBVUOB_ALMA21236734430003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236734430003501
  Artikel
  Automating verification of cooperation, control, and design in traffic applications

  von Werner Damm ; Alfred Mikschl ; Jens Oehlerking ; Ernst-Rüdiger Olderog ; Jun Pang ; André Platzer ; Marc Segelken ; Boris Wirtz

  2007

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Mikschl, AlfredOehlerking, JensOlderog, Ernst-RüdigerPang, JunPlatzer, André ([2004-2009])Segelken, Marc ([1999-2008])Wirtz, BorisDamm, Werner

  Enthalten in: Formal methods and hybrid real-time systems Berlin [u.a.], 2007 S. 115 - 169

  Sprache: Englisch
• 2
  49GBVUOB_ALMA2123712790000350149GBVUOB_ALMA21237127900003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237127900003501
  Artikel
  Die EVENTS-Architektur

  von Jürgen Niehaus ; Werner Damm ; Alexander Metzner ; Alfred Mikschl

  2000

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Damm, WernerMetzner, Alexander ([1995-])Mikschl, AlfredNiehaus, Jürgen ([1994-])

  Enthalten in: Informationstechnik und technische Informatik 42 (2000), 2, S. 40 - 44

  Sprache: Englisch
• 3
  49GBVUOB_ALMA2123677006000350149GBVUOB_ALMA21236770060003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236770060003501
  Artikel
  A RISC approach to weak cache coherence

  von Jürgen Niehaus ; Alfred Mikschl ; Werner Damm

  1996

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Mikschl, AlfredDamm, WernerNiehaus, Jürgen ([1994-])

  Enthalten in: Euro-Par '96 - Parallel processing Berlin [u.a.] 2 (1996), S. 453 - 456

  Sprache: Englisch

  >> Volltext