Suche in der Hochschulbibliografie

Treffer 1-4 von 4

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_ALMA5122983706000350149GBVUOB_ALMA51229837060003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51229837060003501
  Artikel
  Monitoring of traffic manoeuvres with imprecise information

  von Heinrich Ody

  2017

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Ody, Heinrich

  Enthalten in: Electronic proceedings in theoretical computer science Sydney : NICTA, 2008 (2017), Seite 43-58

  Sprache: Englisch

  >> Volltext
• 2
  49GBVUOB_ALMA5122074341000350149GBVUOB_ALMA51220743410003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51220743410003501
  Artikel
  Discounted duration calculus

  von Heinrich Ody ; Martin Fränzle ; Michael R. Hansen

  2016

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fränzle, Martin ([1998-])Hansen, Michael R. ([-1994])Ody, Heinrich

  Enthalten in: FM 2016: Formal Methods Cham : Springer, 2016 (2016), Seite 577-592 Online-Ressource (XXIII, 789 p. 204 illus, online resource)

  Sprache: Englisch

  >> Volltext
• 3
  49GBVUOB_ALMA5121974941000350149GBVUOB_ALMA51219749410003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219749410003501
  E-Book
  AVACS technical report: Undecidability results for multi-lane spatial logic

  von Heinrich Ody

  September 2015

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Ody, Heinrich

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

  Umfang: 1 Online-Ressource (24 Seiten).

  Übergeordnetes Werk: AVACS technical report

  Verknüpfte Titel: AVACS technical report ; 112

  Sprache: Englisch

  >> Volltext
• 4
  49GBVUOB_ALMA5121975109000350149GBVUOB_ALMA51219751090003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219751090003501
  Artikel
  No need knowing numerous neighbours : towards a realizable interpretation of MLSL

  von Martin Fränzle ; Michael R. Hansen ; Heinrich Ody

  2015

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Hansen, Michael R. ([-1994])Ody, HeinrichFränzle, Martin ([1998-])

  Enthalten in: Correct System Design 1st ed. 2015 Cham : Springer, 2015 (2015), Seite 152-171 Online-Ressource (XII, 279 p. 69 illus, online resource)

  Sprache: Englisch

  >> Volltext