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) = '
Olderog, Ernst-Rüdiger ((DE-588)136626890)
'
Treffer 81-88 von 88
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 9 von 9
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:
Artificial intelligence (1)
Autonomes Fahrzeug (2)
Computer logic (1)
Computer programs (2)
Computer software (1)
Computer software Verification (1)
Echtzeitsystem (2)
Eingebettetes System (1)
Entscheidbarkeit (1)
Fault-tolerant computing (1)
Fehlertoleranz (1)
Formale Methode (1)
Formale Semantik (1)
Formale Spezifikationstechnik (1)
Hoare-Logik (1)
Microprogramming (1)
Model Checking (2)
Petri-Netz (1)
Programmiersprache (1)
Programmverifikation (4)
Real-time data processing (2)
Software engineering (1)
Softwareentwicklung (1)
Special purpose computers (1)
Stadtverkehr (2)
Synthese (1)
Temporale Logik (2)
Typisierung (1)
Unentscheidbarkeit (1)
Verifikation (1)
Verkehrssicherheit (1)
Verteiltes System (1)
Zeitschrift (1)
informatik (1)
nach Person:
Apt, Krzysztof R (6)
Baer, Alexander (1)
Basin, David (2)
Becker, Bernd (1)
Bischopink, Christopher (1)
Bochmann, Gregor von (2)
Boer, Frank S. de (4)
Bowen, Jonathan P (1)
Broy, Manfred (1)
Damm, Werner (6)
Dierks, Henning (4)
Engelmann, Björn (3)
Faber, Johannes (1)
Finkbeiner, Bernd (11)
Fischer, Clemens (1)
Flick, Nils Erik (1)
Fränzle, Martin (4)
Gieseking, Manuel (12)
Gouw, Stijn de (1)
Grabowski, V (1)
Hannibal, Paul (1)
Hansen, Michael R (1)
Hecking-Harbusch, Jesko (7)
Hilscher, Martin (4)
Hinchey, Mike (1)
Hoenicke, Jochen (4)
Hungar, Hardi (2)
Katoen, Joost-Pieter (1)
Kleuker, Cheryl (1)
Kleuker, Stephan (1)
Krieg-Brückner, Bernd (1)
Kröger, Paul (1)
Larsen, Kim Guldstrand (2)
Linker, Sven (6)
Meyer, Roland (3)
Mikschl, Alfred (1)
Möller, Michael (2)
Müllner, Nils Henning (1)
Ody, Heinrich (1)
Oehlerking, Jens (1)
Olderog, Ernst-Rüdiger (88)
Pang, Jun (1)
Peleska, Jan (1)
Platzer, André (1)
Podelski, Andreas (3)
Quesel, Jan-David (1)
Rasch, Holger (2)
Ravn, A.P (1)
Ravn, Anders P (2)
Schenke, Michael (1)
Schwammberger, Maike (3)
Segelken, Marc (1)
Sevinc, Paul E (1)
Sevinç, Paul E (1)
Sonderforschungsbereich Transregio 14 Automatische Verifikation und Analyse Komplexer Systeme (1)
Steffen, Bernhard (3)
Swaminathan, Mani (3)
Theel, Oliver (2)
Wehrheim, Heike (5)
Wilhelm, Rainer (1)
Wilhelm, Reinhard (1)
Wirtz, Boris (1)
Wisniewski, R (1)
Wisniewski, Rafael (1)
Würdemann, Nick (2)
Yi, Wang (2)
nach Medientyp:
Artikel (74)
Bücher (9)
E-Books (8)
Lehrbücher (2)
Zeitschriften (1)
Medienkombinationen (1)
Reihe (1)
81
49GBVUOB_ALMA21236976260003501
49GBVUOB_ALMA21236976260003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236976260003501
Artikel
Formal methods in real-time systems
von
Ernst-Rüdiger Olderog
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Enthalten in:
Proceedings / 10th EuroMicro Workshop on Real-time Systems, Berlin Los Alamitos, Calif., 1998 S. 254 - 263
Sprache:
Englisch
>> Volltext
82
49GBVUOB_ALMA21236952920003501
49GBVUOB_ALMA21236952920003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236952920003501
Artikel
Semantics for timed message sequence charts via constraint diagrams
von
V. Grabowski ; Cheryl Kleuker ; Ernst-Rüdiger Olderog
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Kleuker, Cheryl ([-2000])
Olderog, Ernst-Rüdiger
Enthalten in:
Proceedings / 1st Workshop of the SDL Forum Society on SDL and MSC, Berlin Berlin, 1998 2 (1998), S. 251 - 260
Sprache:
Englisch
>> Volltext
83
49GBVUOB_ALMA21236692340003501
49GBVUOB_ALMA21236692340003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236692340003501
Artikel
Decomposing real-time specifications
von
Ernst-Rüdiger Olderog ; Henning Dierks
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Dierks, Henning
Olderog, Ernst-Rüdiger
Enthalten in:
Compositionality Berlin [u.a.], 1998 S. 465 - 489
Sprache:
Englisch
>> Volltext
84
49GBVUOB_ALMA21236680440003501
49GBVUOB_ALMA21236680440003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236680440003501
Artikel
Forschungsbereich 3 : Integrierte Hardware-Software-Systeme
von
Ernst-Rüdiger Olderog ; Stephan Kleuker
1996
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Kleuker, Stephan ([1994-1998])
Enthalten in:
Jahresberichte / OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme Oldenburg 1995 (1996), S. 44
Notation:
inf 008.1 j
Sprache:
Deutsch
85
49GBVUOB_ALMA21236916090003501
49GBVUOB_ALMA21236916090003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236916090003501
Artikel
Korrekte parallelle Programme
von
Ernst-Rüdiger Olderog
1994
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Enthalten in:
Einblicke 19 (1994), S. 21 - 27
Sprache:
Deutsch
86
49GBVUOB_ALMA21170047330003501
49GBVUOB_ALMA21170047330003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21170047330003501
Buch
Springer-Lehrbuch: Programmverifikation : sequentielle, parallele und verteilte Programme
von
Krzysztof R. Apt ; Ernst-Rüdiger Olderog
1994
Details anzeigen
ISBN:
3540574794
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Verlag:
Berlin Heidelberg u.a.: Springer
Umfang:
XII, 258 S. 24 cm.
Weitere Angaben:
Literaturverz. S. [245] - 250
Schlagwörter:
Computer programs -- Verification; Einführung
Programmverifikation
Verifikation
Hoare-Logik
Übergeordnetes Werk:
Springer-Lehrbuch
Verknüpfte Titel:
Springer-Lehrbuch
Notation:
inf 324
Sprache:
Deutsch
87
49GBVUOB_ALMA21149848610003501
49GBVUOB_ALMA21149848610003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21149848610003501
Buch
Nets, terms and formulas : three views of concurrent processes
von
Ernst-Rüdiger Olderog
1988
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Verlag:
Noordwijkerhout
Umfang:
26 S.
Notation:
inf 534
Sprache:
Englisch
88
49GBVUOB_ALMA21240060450003501
49GBVUOB_ALMA21240060450003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21240060450003501
Zeitschrift
Acta informatica
1971-
Details anzeigen
ISBN:
$$C$$V0001-5903
$$C$$V1432-0525
Mitarbeiter:
Ernst-Rüdiger Olderog
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Verlag:
Berlin Heidelberg u.a.: Springer
Schlagwörter:
Zeitschrift
Informatik
Presse
Fortlaufendes Sammelwerk
Datenverarbeitung
Notation:
kyb 400 ja
Sprache:
eng;ger
Seite 9 von 9