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_ALMA5122983740000350149GBVUOB_ALMA51229837400003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51229837400003501
  Artikel
  Synthesizing and verifying controllers for multi-lane traffic maneuvers

  von Gregor von Bochmann ; Martin Hilscher ; Sven Linker ; Ernst-Rüdiger Olderog

  2017

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Hilscher, Martin ([2008-])Linker, SvenOlderog, Ernst-Rüdiger

  Enthalten in: Formal aspects of computing London : Springer, 1989 29(2017), 4, Seite 583-600 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 2
  49GBVUOB_ALMA5122075598000350149GBVUOB_ALMA51220755980003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51220755980003501
  Artikel
  An abstract model for proving safety of autonomous urban traffic

  von Martin Hilscher ; Maike Schwammberger

  2016

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Schwammberger, MaikeHilscher, Martin ([2008-])

  Enthalten in: Theoretical Aspects of Computing ICTAC 2016 Cham : Springer, 2016 (2016), Seite 274-292 Online-Ressource (XVII, 479 p. 108 illus, online resource)

  Sprache: Englisch

  >> Volltext
• 3
  49GBVUOB_ALMA7117258935000350149GBVUOB_ALMA71172589350003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71172589350003501
  Artikel
  Synthesizing controller for multi-lane traffic maneuvers

  von Gregor von Bochmann ; Martin Hilscher ; Sven Linker ; Ernst-Rüdiger Olderog

  2015

  Details anzeigen

  Enthalten in: Dependable software engineering Cham [u.a.] : Springer, 2015 (2015), Seite 71-86 XIX, 315 S.

  Sprache: Englisch
• 4
  49GBVUOB_ALMA5121717637000350149GBVUOB_ALMA51217176370003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51217176370003501
  Artikel
  Proof theory of a multi-lane spatial logic

  von Sven Linker ; Martin Hilscher

  2013

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Hilscher, Martin ([2008-])Linker, Sven

  Enthalten in: Liu, Zhiming Theoretical Aspects of Computing – ICTAC 2013 Berlin, Heidelberg : Springer, 2013 (2013), Seite 231-248 Online-Ressource (XII, 445 p. 100 illus, online resource)

  Sprache: Englisch

  >> Volltext
• 5
  49GBVUOB_ALMA5121720215000350149GBVUOB_ALMA51217202150003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51217202150003501
  Artikel
  Proving safety of traffic manoeuvres on country roads

  von Martin Hilscher ; Sven Linker ; Ernst-Rüdiger Olderog

  2013

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Linker, SvenOlderog, Ernst-RüdigerHilscher, Martin ([2008-])

  Enthalten in: Liu, Zhiming Theories of Programming and Formal Methods Berlin, Heidelberg : Springer, 2013 (2013), Seite 196-212 Online-Ressource (XII, 413 p. 86 illus, online resource)

  Sprache: Englisch

  >> Volltext
• 6
  49GBVUOB_ALMA7116846080000350149GBVUOB_ALMA71168460800003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71168460800003501
  Artikel
  An abstract model for proving safety of multi-lane traffic manoeuvres

  von Martin Hilscher ; Sven Linker ; Ernst-Rüdiger Olderog

  2011

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Hilscher, Martin ([2008-])

  Weitere Angaben:

  Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/l7260174v852/#section=976692&page=1&locus=0

  Enthalten in: Formal methods and software engineering Berlin : Springer, 2011 (2011), Seite 404-419 XIV, 670 S.

  Sprache: Englisch