Suche in der Hochschulbibliografie

Treffer 1-1 von 1

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_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