Suche in der Hochschulbibliografie

Suche nach: Person (Universität Oldenburg) = 'Hungar, Hardi ((DE-588)1144368294)'

Treffer 1-10 von 17

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA7125326657000350149GBVUOB_ALMA71253266570003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71253266570003501
Artikel
Formalisierung von Szenario-Klassen zur Absicherung automatisierter Fahrfunktionen
von Hardi Hungar ; Frank Köster
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Köster, Frank ([2016-])Hungar, Hardi ([1991-])
Umfang: Illustrationen.
Weitere Angaben:
Literaturangaben
Enthalten in: AAET - Automatisiertes und vernetztes Fahren [1. Auflage] Braunschweig : ITS mobility e.V., 2018 (2018), Seite 97-114 376 Seiten
Sprache: Deutsch
2
49GBVUOB_ALMA2119059203000350149GBVUOB_ALMA21190592030003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21190592030003501
Artikel
Using guided simulation to assess driver assistance systems
von Martin Fränzle ; Tayfun Gezgin ; Hardi Hungar ; Stefan Puch ; Gerald Sauter
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Gezgin, TayfunHungar, Hardi ([1991-])Puch, Stefan ([2007-])Sauter, Gerald ([2008-])Fränzle, Martin ([1998-])
Enthalten in: Formal methods for automation and safety in railway and automotive systems Heidelberg [u.a.] : Springer, 2011 (2011), Seite 195-205 XI, 256 S.
Sprache: Englisch
3
49GBVUOB_ALMA2117267282000350149GBVUOB_ALMA21172672820003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21172672820003501
Artikel
Integrated modeling for safe transportation : driver modeling and driver experiments
von Martin Baumann ; Hans Colonius ; Hardi Hungar ; Frank Köster ; Michael Langner ; Andreas Lüdtke ; Claus Möbus ; Joachim Peinke ; Stefan Puch ; Rike Steenken
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Colonius, HansHungar, Hardi ([1991-])Köster, Frank ([2016-])Langner, MichaelLüdtke, AndreasMöbus, ClausPeinke, JoachimPuch, Stefan ([2007-])Steenken, Rike
Enthalten in: Fahrermodellierung in Wissenschaft und Wirtschaft Als. Ms. gedr. Düsseldorf : VDI-Verl., 2009 2009, S. 1 - 15 VI, 150 S.
Sprache: Englisch
4
49GBVUOB_ALMA2123673170000350149GBVUOB_ALMA21236731700003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236731700003501
Artikel
Exact state set representations in the verification of linear hybrid systems with large discrete state space
von Werner Damm ; Stefan Disch ; Hardi Hungar ; Swen Jacobs ; Jun Pang ; Florian Pigorsch ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hungar, Hardi ([1991-])Pang, JunWirtz, BorisDamm, Werner
Enthalten in: Automated technology for verification and analysis Berlin, 2007 S. 425 - 440
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA2123682449000350149GBVUOB_ALMA21236824490003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236824490003501
Artikel
HLang : compositional representation of hybrid systems via predicates
von Martin Fränzle ; Hardi Hungar ; Christian Schmitt ; Boris Wirtz
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hungar, Hardi ([1991-])Wirtz, BorisFränzle, Martin ([1998-])
Enthalten in: AWACS technical report 20 (2007), S. 1 - 38
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA2123684628000350149GBVUOB_ALMA21236846280003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236846280003501
Artikel
Automatic verification of hybrid systems with large discrete state space
von Werner Damm ; Stefan Disch ; Hardi Hungar ; Jun Pang ; Florian Pigorsch ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hungar, Hardi ([1991-])Pang, JunWirtz, BorisDamm, Werner
Enthalten in: Automated technology for verification and analysis Berlin [u.a.], 2006 S. 276 - 291
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA2123687960000350149GBVUOB_ALMA21236879600003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236879600003501
Artikel
Verification of cooperating traffic agents
von Werner Damm ; Hardi Hungar ; Ernst-Rüdiger Olderog
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hungar, Hardi ([1991-])Olderog, Ernst-RüdigerDamm, Werner
Enthalten in: International journal of control 79 (2006), S. 395 - 421
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA2123679384000350149GBVUOB_ALMA21236793840003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236793840003501
Artikel
On the verification of cooperating traffic agents
von Werner Damm ; Hardi Hungar ; Ernst-Rüdiger Olderog
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hungar, Hardi ([1991-])Olderog, Ernst-RüdigerDamm, Werner
Enthalten in: Formal methods for components and objects Berlin [u.a.], 2004 S. 77 - 110
Sprache: Englisch
9
49GBVUOB_ALMA2123646597000350149GBVUOB_ALMA21236465970003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236465970003501
Artikel
Model checking and higher-order recursion
von Hardi Hungar
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hungar, Hardi ([1991-])
Enthalten in: Mathematical foundations of computer science Berliin [u.a.], 1999 S. 149 - 159
Sprache: Englisch
>> Volltext
10
49GBVUOB_ALMA2123710555000350149GBVUOB_ALMA21237105550003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237105550003501
Artikel
Eingebettete Systeme : Korrekte Software für sicherheitskritische Systeme
von Werner Damm ; Hardi Hungar
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Damm, WernerHungar, Hardi ([1991-])
Enthalten in: Jahresberichte / OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme Oldenburg 1998 (1999), S. 22 - 25
Notation: inf 008.1 j
Sprache: Deutsch