Suche in der Hochschulbibliografie

Treffer 1-5 von 5

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_ALMA2123641572000350149GBVUOB_ALMA21236415720003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236415720003501
  Artikel
  Model-based safety analysis of a flap control system

  von Thomas Peikenkamp ; Eckard Böde ; H. Spenke ; M. Bretschneider ; Hans Jürgen Holberg ; Ingo Brückner

  2004

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Böde, Eckard ([2001-])Holberg, Hans Jürgen ([1995-2004])Brückner, Ingo ([2002-])Peikenkamp, Thomas

  Enthalten in: Systems engineering Evanston, Ill., 2004

  Sprache: Englisch
• 2
  49GBVUOB_ALMA2123646187000350149GBVUOB_ALMA21236461870003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236461870003501
  Artikel
  Automatic debugging for Statemate designs

  von Tom Bienmüller ; Udo Brockmeyer ; Hans Jürgen Holberg ; Hartmut Wittke

  2000

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Brockmeyer, Udo ([1995-2001])Holberg, Hans Jürgen ([1995-2004])Wittke, Hartmut ([1996-2006])Bienmüller, Tom ([1997-2003])

  Enthalten in: 8. Deutsches Anwenderforum für Statemate, 2000 2000 3 Bl.

  Sprache: Englisch

  >> Volltext
• 3
  49GBVUOB_ALMA2123709495000350149GBVUOB_ALMA21237094950003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237094950003501
  Artikel
  Eingebettete Systeme : Eingebettete Systeme in sicherheitskritischen Anwendungen

  von Werner Damm ; Hans Jürgen Holberg

  1999

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Damm, WernerHolberg, Hans Jürgen ([1995-2004])

  Enthalten in: Jahresberichte / OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme Oldenburg 1998 (1999), S. 18 - 21

  Notation: inf 008.1 j

  Sprache: Deutsch
• 4
  49GBVUOB_ALMA2123676007000350149GBVUOB_ALMA21236760070003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236760070003501
  Artikel
  Formal verification of an avionics application using abstraction and symbolic model checking

  von Tom Bienmüller ; Udo Brockmeyer ; Werner Damm ; Gert Döhmen ; Claus Eßmann ; Hans Jürgen Holberg ; Hardi Hungar ; Bernhard Josko ; Rainer Schlör ; Gunnar Wittich ; Hartmut Wittke ; Geoffrey Clements ; John Rowlands ; Eric Sefton

  1999

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Brockmeyer, Udo ([1995-2001])Damm, WernerDöhmen, Gert ([1987-1999])Eßmann, Claus ([1997-1999])Holberg, Hans Jürgen ([1995-2004])Hungar, Hardi ([1991-])Josko, BernhardSchlör, Rainer ([-2001])Wittich, Gunnar ([1994-2001])Wittke, Hartmut ([1996-2006])Bienmüller, Tom ([1997-2003])

  Enthalten in: Towards system safety London, 1999 S. 150 - 173

  Sprache: Englisch

  >> Volltext
• 5
  49GBVUOB_ALMA2123679500000350149GBVUOB_ALMA21236795000003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236795000003501
  Artikel
  Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz

  von Werner Damm ; Michael Eckrich ; Udo Brockmeyer ; Gunnar Wittich ; Hans Jürgen Holberg

  1997

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Brockmeyer, Udo ([1995-2001])Wittich, Gunnar ([1994-2001])Holberg, Hans Jürgen ([1995-2004])Damm, Werner

  Enthalten in: Systemengineering in der KFZ-Entwicklung Düsseldorf, 1997 S. 349 - 366

  Sprache: Deutsch

  >> Volltext