Suche in der Hochschulbibliografie

Treffer 1-6 von 6

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_ALMA2123657037000350149GBVUOB_ALMA21236570370003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236570370003501
  Artikel
  Modeling and validation train system applications using statemate and live sequence charts : submission to session on \"Integration of modeling techniques for train control systems\"

  von Jürgen Bohn ; Werner Damm ; Hartmut Wittke ; Jochen Klose ; Adam Moik

  2002

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Damm, WernerWittke, Hartmut ([1996-2006])Klose, Jochen ([1998-2006])Bohn, Jürgen ([1993-2002])

  Enthalten in: Integrated design and process technology 2002 [9] Bl.

  Sprache: Englisch

  >> Volltext
• 2
  49GBVUOB_ALMA2123709425000350149GBVUOB_ALMA21237094250003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237094250003501
  Artikel
  Eingebettete Systeme : Integration algebraischer Datendarstellungen in symbolisches Model-Checken

  von Werner Damm ; Jürgen Bohn

  1999

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Damm, WernerBohn, Jürgen ([1993-2002])

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

  Notation: inf 008.1 j

  Sprache: Deutsch
• 3
  49GBVUOB_ALMA2123712754000350149GBVUOB_ALMA21237127540003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237127540003501
  Artikel
  Verification of automotive control units

  von Tom Bienmüller ; Jürgen Bohn ; Henning Brinkmann ; Udo Brockmeyer ; Werner Damm ; Hardi Hungar ; Peter Jansen

  1999

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Bohn, Jürgen ([1993-2002])Brinkmann, Henning ([1999-2001])Brockmeyer, Udo ([1995-2001])Damm, WernerHungar, Hardi ([1991-])Bienmüller, Tom ([1997-2003])

  Enthalten in: Correct system design Berlin [u.a.], 1999 S. 319 - 341

  Sprache: Englisch
• 4
  49GBVUOB_ALMA2123681840000350149GBVUOB_ALMA21236818400003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236818400003501
  Artikel
  First-order-CTL model checking

  von Jürgen Bohn ; Werner Damm ; Orna Grumberg ; Hardi Hungar ; Karen Laster

  1998

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Damm, WernerHungar, Hardi ([1991-])Bohn, Jürgen ([1993-2002])

  Enthalten in: Foundations of software technology and theoretical computer science Berlin [u.a.], 1998 S. 283 - 294

  Sprache: Englisch

  >> Volltext
• 5
  49GBVUOB_ALMA2123676663000350149GBVUOB_ALMA21236766630003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236766630003501
  Artikel
  A strategic approach to transformational design

  von Jürgen Bohn ; Wil Janssen

  1996

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Janssen, WilBohn, Jürgen ([1993-2002])

  Enthalten in: Industrial benefit and advances in formal methods Berlin [u.a.], 1996 S. 609 - 628

  Sprache: Englisch
• 6
  49GBVUOB_ALMA2123631781000350149GBVUOB_ALMA21236317810003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236317810003501
  Artikel
  On automatic and interactive design of communicating systems

  von Jürgen Bohn ; Stephan Rössig

  1995

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Rössig, StephanBohn, Jürgen ([1993-2002])

  Enthalten in: Tools and algorithms for the construction and analysis of systems Berlin [u.a.], 1995 S. [216] - 237

  Sprache: Englisch

  >> Volltext