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 81-90 von 104
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 9 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)
81
49GBVUOB_ALMA21236561630003501
49GBVUOB_ALMA21236561630003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236561630003501
Artikel
Formale Anaylse und Verifikation von Statemate Entwürfen
von
Tom Bienmüller ; Werner Damm ; Jochen Klose ; Hartmut Wittke
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Klose, Jochen ([1998-2006])
Wittke, Hartmut ([1996-2006])
Bienmüller, Tom ([1997-2003])
Enthalten in:
Informationstechnik und technische Informatik 43 (2001), 1, S. 29
Sprache:
Deutsch
82
49GBVUOB_ALMA21236776890003501
49GBVUOB_ALMA21236776890003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236776890003501
Artikel
Formale Analyse und Verifikation on Statemate Entwürfen
von
Tom Bienmüller ; Werner Damm ; Jochen Klose ; Hartmut Wittke
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Klose, Jochen ([1998-2006])
Wittke, Hartmut ([1996-2006])
Bienmüller, Tom ([1997-2003])
Enthalten in:
Informationstechnik und technische Informatik 43 (2001), 1 <1>
Sprache:
Deutsch
83
49GBVUOB_ALMA21236785110003501
49GBVUOB_ALMA21236785110003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236785110003501
Artikel
Unfallpotenziale durch verbesserte Steuergeräte reduzieren
von
Werner Damm
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Enthalten in:
Einblicke 16 (2000), 31, S. [8] - 10
Sprache:
Deutsch
84
49GBVUOB_ALMA21236545460003501
49GBVUOB_ALMA21236545460003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236545460003501
Artikel
Unfälle durch verbesserte Steuergeräte reduzieren
von
Werner Damm
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Enthalten in:
Einblicke 15 (2000), 31, S. 8 - 11
Sprache:
Deutsch
85
49GBVUOB_ALMA21236456010003501
49GBVUOB_ALMA21236456010003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236456010003501
Artikel
The Statemate verification environment : making it real
von
Tom Bienmüller ; Werner Damm ; Hartmut Wittke
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Wittke, Hartmut ([1996-2006])
Bienmüller, Tom ([1997-2003])
Enthalten in:
Computer aided verification Berlin [u.a.], 2000 S. 561 - 567
Sprache:
Englisch
>> Volltext
86
49GBVUOB_ALMA21236456350003501
49GBVUOB_ALMA21236456350003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236456350003501
Artikel
Multithreading in rapid prototyping target platforms
von
Jürgen Niehaus ; Karsten Lüth ; Werner Damm
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Lüth, Karsten ([1996-2001])
Damm, Werner
Niehaus, Jürgen ([1994-])
Enthalten in:
AES 2000 Karlsruhe, 2000 S. 116 - 122
Sprache:
Englisch
>> Volltext
87
49GBVUOB_ALMA21237127900003501
49GBVUOB_ALMA21237127900003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237127900003501
Artikel
Die EVENTS-Architektur
von
Jürgen Niehaus ; Werner Damm ; Alexander Metzner ; Alfred Mikschl
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Metzner, Alexander ([1995-])
Mikschl, Alfred
Niehaus, Jürgen ([1994-])
Enthalten in:
Informationstechnik und technische Informatik 42 (2000), 2, S. 40 - 44
Sprache:
Englisch
88
49GBVUOB_ALMA21236338420003501
49GBVUOB_ALMA21236338420003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236338420003501
Artikel
Acht Jahre anwendungsorientierte Informatik-Forschung und -Entwicklung
von
Hans-Jürgen Appelrath ; Werner Damm ; K. Menke ; Wolfgang Nebel ; Wilfried Thoben
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Nebel, Wolfgang
Thoben, Wilfried
Appelrath, Hans-Jürgen
Enthalten in:
Informatik, Forschung und Entwicklung 15 (2000), S. [51] - 61
Sprache:
Deutsch
89
49GBVUOB_ALMA21237104490003501
49GBVUOB_ALMA21237104490003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237104490003501
Artikel
Eingebettete Systeme : Verifikation von VHDL-basierten Hardware-Systemen
von
Werner Damm ; Bernhard Josko
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Josko, Bernhard
Enthalten in:
Jahresberichte / OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme Oldenburg 1998 (1999), S. 26 - 28
Notation:
inf 008.1 j
Sprache:
Deutsch
90
49GBVUOB_ALMA21237105550003501
49GBVUOB_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, Werner
Hungar, 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
Seite 9 von 11