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_ALMA7115854724000350149GBVUOB_ALMA71158547240003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71158547240003501
  E-Book
  AVACS technical report: Can we build it : formal synthesis of control strategies for cooperative driver assistance system

  von Werner Damm ; Jan-Hendrik Rakow ; Bernd Westphal

  2011

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Damm, Werner

  Verlag: Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems

  Umfang: Online-Ressource (PDF-Datei: 37 S.).

  Übergeordnetes Werk: AVACS technical report

  Verknüpfte Titel: AVACS technical report ; 73

  Sprache: Englisch

  >> Volltext
• 2
  49GBVUOB_ALMA7115717234000350149GBVUOB_ALMA71157172340003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71157172340003501
  E-Book
  AVACS technical report: A lane change assistance system : cooperation and hybrid control

  2011

  Details anzeigen

  Verlag: Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems

  Umfang: Online-Ressource (PDF-Datei: 55 S.).

  Übergeordnetes Werk: AVACS technical report

  Verknüpfte Titel: AVACS technical report ; 78

  Sprache: Englisch

  >> Volltext
• 3
  49GBVUOB_ALMA7116452063000350149GBVUOB_ALMA71164520630003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71164520630003501
  E-Book
  AVACS technical report: Dynamic communicating probabilistic timed automata playing games

  2011

  Details anzeigen

  Verlag: Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems

  Umfang: Online-Ressource (PDF-Datei: 17 S.).

  Übergeordnetes Werk: AVACS technical report

  Verknüpfte Titel: AVACS technical report ; 75

  Sprache: Englisch

  >> Volltext
• 4
  49GBVUOB_ALMA7116135846000350149GBVUOB_ALMA71161358460003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71161358460003501
  Artikel
  Compositional dependability evaluation for STATEMATE

  von E. Bode ; Marc Herbstritt ; H. Hermanns

  2009

  Details anzeigen

  Enthalten in: Institute of Electrical and Electronics Engineers IEEE transactions on software engineering New York, NY [u.a.] : IEEE, 1975 35(2009), 2, Seite 274-292

  Sprache: Englisch
• 5
  49GBVUOB_ALMA2123707508000350149GBVUOB_ALMA21237075080003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237075080003501
  Artikel
  Model based importance analysis for minimal cut sets

  von Eckard Böde ; Thomas Peikenkamp ; Jan-Hendrik Rakow ; Samuel Wischmeyer

  2008

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Peikenkamp, ThomasRakow, Jan-Hendrik ([2006-])Böde, Eckard ([2001-])

  Enthalten in: Automated technology for verification and analysis Berlin [u.a.], 2008 S. 303 - 317

  Sprache: Englisch