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) = '
Damm, Werner ((DE-588)141393858)
'
Treffer 91-100 von 104
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 10 von 11
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 Schlagwort:
Backbone-Netz (1)
Bordnetz (1)
CAN-Bus (1)
Computer architecture (1)
Computerarchitektur (1)
Echtzeitsystem (2)
Eingebettetes System (1)
Entwurf (1)
Ethernet (1)
Fahrerassistenzsystem (1)
Fault-tolerant computing (1)
Fehlertoleranz (1)
Formale Methode (1)
Kraftfahrzeug (1)
Kraftfahrzeugelektronik (1)
Microprogramming (1)
Mikroprogrammierung (1)
Model Checking (1)
Nachrichtenverkehr (1)
Netzwerktopologie (1)
Programmierparadigma (1)
Programmverifikation (1)
Real-time data processing (1)
Sensortechnik (1)
Softwareentwicklung (1)
Testbed (1)
Verifikation (1)
nach Person:
Althaus, Ernst (2)
Austel, Benedikt (2)
Bauer, Jörg (1)
Beber, Björn (2)
Bengler, Klaus (3)
Benveniste, Albert (2)
Biebl, Bianca (3)
Bienmüller, Tom (5)
Bohn, Jürgen (4)
Brill, Matthias (2)
Brinkmann, Henning (1)
Brockmeyer, Udo (3)
Brunel, Jean-Yves (1)
Buschermöhle, Ralf (1)
Böde, Eckard (7)
Büker, Matthias (6)
Damm, Werner (104)
Disch, Stefan (4)
Döhmen, Gert (3)
Eckrich, Michael (2)
Ehmen, G (1)
Ehmen, Günter (5)
Finkbeiner, Bernd (4)
Forrest, Laine (1)
Forschungsvereinigung Automobiltechnik (1)
Fränzle, Martin (17)
Galbas, Roland (1)
Gerwinn, Sebastian (2)
Grumberg, Orna (1)
Grüttner, Kim (3)
Hagemann, Willem (9)
Hasseln, Hermann von (1)
Held, Moritz (3)
Hess, David (3)
Higgen, Uwe (1)
Holberg, Hans Jürgen (3)
Hungar, Hardi (11)
Ihlemann, Carsten (2)
Ihme, Klas (3)
Ittershagen, Philipp (2)
Josko, Bernhard (13)
Kacianka, Severin (3)
Kerscher, Alyssa J (3)
Klose, Jochen (7)
Koopmann, Björn (3)
Koutsoukos, Xenofon (1)
Kramer, Birte (2)
Kröger, Paul (3)
Köster, Frank (3)
Laine, Forrest (1)
Lehnhoff, Sebastian (3)
Luedtke, Andreas (2)
Lüdtke, Andreas (3)
Metzner, Alexander (5)
Mikschl, Alfred (3)
Möhlmann, Eike (6)
Neurohr, Christian (2)
Niehaus, Jürgen (6)
Oehlerking, Jens (2)
Olderog, Ernst-Rüdiger (6)
Pang, Jun (3)
Passerone, Roberto (2)
Peikenkamp, Thomas (6)
Pigorsch, Florian (2)
Pnueli, Amir (5)
Poppen, Frank (3)
Pretschner, Alexander (3)
Rakow, Astrid (16)
Rakow, Jan (1)
Rakow, Jan-Hendrik (1)
Reinkemeier, Philipp (3)
Rieger, Jochem (5)
Ruah, S (1)
Sangiovanni-Vincentelli, Alberto (2)
Schlör, Rainer (2)
Scholl, Christoph (4)
Schulte, Christoph (2)
Schwammberger, Maike (3)
Schweda, Mark (3)
Segelken, Marc (3)
Shmonin, Gennady (1)
Siegel, Michael (2)
Sofronie-Stokkermans, Viorica (3)
Sonderforschungsbereich Transregio 14 Automatische Verifikation und Analyse Komplexer Systeme (1)
Sonntag, Daniel (3)
Stierand, Ingo (8)
Sztipanovits, Janos (4)
Thaden, Eike Martin (1)
Toben, Tobe (2)
Trende, Alexander (2)
Unni, Anirudh (4)
Vander Maelen, Sebastian (1)
Veith, Eric M. S. P (3)
Votinceva, Anželika (3)
Waldmann, Uwe (4)
Westphal, Bernd (8)
Wilhelm, Reinhard (2)
Wirtz, Boris (6)
Wittich, Gunnar (2)
Wittke, Hartmut (8)
nach Medientyp:
Artikel (88)
E-Books (13)
Bücher (4)
Datenträger (1)
Reihe (1)
91
49GBVUOB_ALMA21237094950003501
49GBVUOB_ALMA21237094950003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237094950003501
Artikel
Eingebettete Systeme : Eingebettete Systeme in sicherheitskritischen Anwendungen
von
Werner Damm ; Hans Jürgen Holberg
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Holberg, Hans Jürgen ([1995-2004])
Enthalten in:
Jahresberichte / OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme Oldenburg 1998 (1999), S. 18 - 21
Notation:
inf 008.1 j
Sprache:
Deutsch
92
49GBVUOB_ALMA21237095980003501
49GBVUOB_ALMA21237095980003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237095980003501
Artikel
Eingebettete Systeme : Einsatz visueller Formalismen in der industriellen Praxis
von
Werner Damm ; Rainer Schlör
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Schlör, Rainer ([-2001])
Enthalten in:
Jahresberichte / OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme Oldenburg 1998 (1999), S. 29 - 31
Notation:
inf 008.1 j
Sprache:
Deutsch
93
49GBVUOB_ALMA21237094250003501
49GBVUOB_ALMA21237094250003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237094250003501
Artikel
Eingebettete Systeme : Integration algebraischer Datendarstellungen in symbolisches Model-Checken
von
Werner Damm ; Jürgen Bohn
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Bohn, Jürgen ([1993-2002])
Enthalten in:
Jahresberichte / OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme Oldenburg 1998 (1999), S. 32 - 34
Notation:
inf 008.1 j
Sprache:
Deutsch
94
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
95
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
96
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
97
49GBVUOB_ALMA21236803220003501
49GBVUOB_ALMA21236803220003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236803220003501
Artikel
Herbrand automata for hardware verification
von
Werner Damm ; Amir Pnueli ; S. Ruah
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Enthalten in:
Concurrency theory Berlin [u.a.], 1998 [17] Bl.
Sprache:
Englisch
>> Volltext
98
49GBVUOB_ALMA21167200230003501
49GBVUOB_ALMA21167200230003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21167200230003501
Buch
Rechnerstrukturen : [Mitschrift der Vorlesung Rechnerstrukturen des SS 98]
von
Werner Damm
1. Aufl
,
1998
Details anzeigen
Bearbeiter:
Jochen Zurborg
Beteiligte Personen (Uni Oldenburg):
Zurborg, Jochen ([2001-2004])
Damm, Werner
Verlag:
Oldenburg: Univ.
Umfang:
V, 158 S graph. Darst.
Notation:
inf 100
Sprache:
Deutsch
99
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
100
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
Seite 10 von 11