Suche in der Hochschulbibliografie

Treffer 11-12 von 12

Sortieren nach: JahrTitelVerfasser/in

• 
• 
Seite 2 von 2

Alle Titel auf dieser Seite auswählen

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

• 11
  49GBVUOB_ALMA2123677609000350149GBVUOB_ALMA21236776090003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236776090003501
  Artikel
  Model checking : Grundlagen und Praxiserfahrungen

  von Ralf Buschermöhle ; Mark Brörkens ; Ingo Brückner ; Werner Damm ; Wilhelm Hasselbring ; Bernhard Josko ; Christoph Schulte ; Thomas Wolf

  2004

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Brörkens, Mark ([2002-2004])Brückner, Ingo ([2002-])Damm, WernerHasselbring, Wilhelm ([2000-2008])Josko, BernhardSchulte, Christoph ([2001-2004])Wolf, Thomas ([2002-2004])Buschermöhle, Ralf ([2003-])

  Enthalten in: Informatik-Spektrum 27 (2004), 2, S. 146 - 158

  Sprache: Deutsch

  >> Volltext
• 12
  49GBVUOB_ALMA2123677662000350149GBVUOB_ALMA21236776620003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236776620003501
  Artikel
  Sicherheit für sicherheitskritische Systeme

  von Christoph Schulte ; Mark Brörkens ; Ingo Brückner ; Ralf Buschermöhle ; Thomas Wolf

  2003

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Brörkens, Mark ([2002-2004])Brückner, Ingo ([2002-])Buschermöhle, Ralf ([2003-])Wolf, Thomas ([2002-2004])Schulte, Christoph ([2001-2004])

  Enthalten in: Electronic Embedded Systeme (2003), 9, S. 19 - 21

  Sprache: Deutsch

  >> Volltext