Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person (Universität Oldenburg) = '
Hungar, Hardi ((DE-588)1144368294)
'
Treffer 11-17 von 17
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 2 von 2
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Person:
Baumann, Martin (1)
Bienmüller, Tom (2)
Bohn, Jürgen (2)
Brinkmann, Henning (1)
Brockmeyer, Udo (2)
Clements, Geoffrey (1)
Colonius, Hans (1)
Damm, Werner (10)
Disch, Stefan (2)
Döhmen, Gert (1)
Eßmann, Claus (1)
Fränzle, Martin (2)
Gezgin, Tayfun (1)
Grumberg, Orna (1)
Holberg, Hans Jürgen (1)
Hungar, Hardi (17)
Jacobs, Swen (1)
Jansen, Peter (1)
Josko, Bernhard (2)
Köster, Frank (2)
Langner, Michael (1)
Laster, Karen (1)
Lüdtke, Andreas (1)
Möbus, Claus (1)
Olderog, Ernst-Rüdiger (2)
Pang, Jun (2)
Peinke, Joachim (1)
Pigorsch, Florian (2)
Pnueli, Amir (1)
Puch, Stefan (2)
Rowlands, John (1)
Sauter, Gerald (1)
Schlör, Rainer (1)
Schmitt, Christian (1)
Scholl, Christoph (2)
Sefton, Eric (1)
Steenken, Rike (1)
Waldmann, Uwe (2)
Wirtz, Boris (3)
Wittich, Gunnar (1)
Wittke, Hartmut (1)
nach Medientyp:
Artikel (16)
Bücher (1)
11
49GBVUOB_ALMA21237127540003501
49GBVUOB_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, Werner
Hungar, Hardi ([1991-])
Bienmüller, Tom ([1997-2003])
Enthalten in:
Correct system design Berlin [u.a.], 1999 S. 319 - 341
Sprache:
Englisch
12
49GBVUOB_ALMA21236760070003501
49GBVUOB_ALMA21236760070003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236760070003501
Artikel
Formal verification of an avionics application using abstraction and symbolic model checking
von
Tom Bienmüller ; Udo Brockmeyer ; Werner Damm ; Gert Döhmen ; Claus Eßmann ; Hans Jürgen Holberg ; Hardi Hungar ; Bernhard Josko ; Rainer Schlör ; Gunnar Wittich ; Hartmut Wittke ; Geoffrey Clements ; John Rowlands ; Eric Sefton
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Brockmeyer, Udo ([1995-2001])
Damm, Werner
Döhmen, Gert ([1987-1999])
Eßmann, Claus ([1997-1999])
Holberg, Hans Jürgen ([1995-2004])
Hungar, Hardi ([1991-])
Josko, Bernhard
Schlör, Rainer ([-2001])
Wittich, Gunnar ([1994-2001])
Wittke, Hartmut ([1996-2006])
Bienmüller, Tom ([1997-2003])
Enthalten in:
Towards system safety London, 1999 S. 150 - 173
Sprache:
Englisch
>> Volltext
13
49GBVUOB_ALMA21189536760003501
49GBVUOB_ALMA21189536760003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21189536760003501
Buch
Beyond finite-state model checking : verifying large and infinite systems
von
Hardi Hungar
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hungar, Hardi ([1991-])
Umfang:
173 S.
Weitere Angaben:
Oldenburg, Univ., Habil.-Schr., 1998
Schlagwörter:
Hochschulschrift
Notation:
inf 531
inf 324
inf 999
Sprache:
Deutsch
14
49GBVUOB_ALMA21236818400003501
49GBVUOB_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, Werner
Hungar, 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
15
49GBVUOB_ALMA71236763880003501
49GBVUOB_ALMA71236763880003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71236763880003501
Artikel
A compositional real-time semantics of Statemate designs
von
Werner Damm ; Bernhard Josko ; Hardi Hungar ; Amir Pnueli
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Josko, Bernhard
Hungar, Hardi ([1991-])
Damm, Werner
Enthalten in:
Compositionality Berlin [u.a.], 1998 S. 186 - 238
Sprache:
Englisch
>> Volltext
16
49GBVUOB_ALMA21236775580003501
49GBVUOB_ALMA21236775580003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236775580003501
Artikel
Specification and verification using a visual formalism on top of temporal logic
von
Hardi Hungar
1996
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hungar, Hardi ([1991-])
Enthalten in:
Formal systems specification Berlin [u.a.], 1996 S. 305 - 339
Sprache:
Englisch
17
49GBVUOB_ALMA21236681770003501
49GBVUOB_ALMA21236681770003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236681770003501
Artikel
Forschungsbereich 3 : Integrierte Hardware-Software-Systeme
von
Werner Damm ; Hardi Hungar
1996
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Hungar, Hardi ([1991-])
Enthalten in:
Jahresberichte / OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme Oldenburg, 1995 (1996), S. 41 - 42
Notation:
inf 008.1 j
Sprache:
Deutsch
Seite 2 von 2