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 = '
Döhmen, Gert
'
Treffer 1-3 von 3
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 1
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:
Bienmüller, Tom (1)
Brockmeyer, Udo (1)
Clements, Geoffrey (1)
Damm, Werner (3)
Döhmen, Gert (3)
Eßmann, Claus (1)
Holberg, Hans Jürgen (1)
Hungar, Hardi (1)
Josko, Bernhard (1)
Klose, Jochen (1)
Rowlands, John (1)
Schlör, Rainer (1)
Sefton, Eric (1)
Wittich, Gunnar (1)
Wittke, Hartmut (1)
1
49GBVUOB_ALMA21236465300003501
49GBVUOB_ALMA21236465300003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236465300003501
Artikel
Secure decentralized control of railway crossings
von
Werner Damm ; Gert Döhmen ; Jochen Klose
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Döhmen, Gert ([1987-1999])
Klose, Jochen ([1998-2006])
Damm, Werner
Enthalten in:
Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems 1999 S. 115 - 132
Sprache:
Englisch
>> Volltext
2
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
3
49GBVUOB_ALMA21236673100003501
49GBVUOB_ALMA21236673100003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236673100003501
Artikel
Forschungsbereich 3 : Integrierte Hardware-Software-Systeme
von
Werner Damm ; Gert Döhmen
1996
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Döhmen, Gert ([1987-1999])
Enthalten in:
Jahresberichte / OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme Oldenburg 1995 (1996), S. 42
Notation:
inf 008.1 j
Sprache:
Deutsch
Seite 1 von 1
