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) = '
Fränzle, Martin ((DE-588)1209157535)
'
Treffer 181-181 von 181
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 19 von 19
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:
Algorithmus (1)
Application software (1)
Architektur (1)
Assistenzsystem (1)
Autonomes Fahrzeug (2)
Computer logic (1)
Computer science (1)
Computers (1)
Computersimulation (1)
Echtzeitsystem (2)
Eingebettetes System (3)
Fahrerassistenzsystem (1)
Faktor Mensch (1)
Formale Methode (1)
Hybrides System (2)
Kollisionsschutz (1)
Ljapunov-Stabilitätstheorie (1)
Machine theory (1)
Mathematical logic (1)
Mensch-Maschine-Kommunikation (1)
Model Checking (1)
Modellierung (1)
Nebenläufigkeit (1)
Nichtlineare modellprädiktive Regelung (1)
Optimierungsproblem (1)
Preis (1)
Programmierparadigma (1)
Requirements engineering (1)
Sicherheitskritisches System (1)
Simulation (1)
Software engineering (1)
Spezifikation (1)
Stochastischer Automat (1)
Störungstheorie (1)
Verifikation (2)
Zeitbehafteter Automat (2)
Zeitdiskretes System (1)
Zeitgesteuertes System (1)
nach Person:
Abate, Alessandro (4)
Abdelaal, Mohamed (4)
Alam, Muhammad (2)
Austel, Benedikt (2)
Becker, Bernd (7)
Bengler, Klaus (4)
Biebl, Bianca (6)
Bienmüller, Tom (2)
Bolles, André (2)
Böde, Eckard (6)
Büker, Matthias (5)
Chen, Mingshuai (6)
Damm, Werner (17)
Dorff, Sebastian vom (2)
Easwaran, Arvind (2)
Eggers, Andreas (9)
Ehmen, Günter (3)
Feng, Shenghua (2)
Fränzle, Martin (181)
Gao, Yang (4)
Gerwinn, Sebastian (8)
Gezgin, Tayfun (2)
Grüttner, Kim (4)
Hagemann, Willem (8)
Hahn, Axel (6)
Hahn, Ernst Moritz (2)
Hansen, Michael R (7)
Held, Moritz (3)
Herde, Christian (17)
Hermanns, H (2)
Hess, David (3)
Hungar, Hardi (3)
Ihme, Klas (3)
Ittershagen, Philipp (2)
Josko, Bernhard (2)
Jost, Henning (2)
Kacianka, Severin (4)
Kapur, Deepak (2)
Katoen, Joost-Pieter (3)
Kerscher, Alyssa J (3)
Khan, Saifullah (3)
Kneissl, Maximilian (2)
Koopmann, Björn (5)
Kramer, Birte (4)
Krefting, Ina (3)
Kröger, Janis (3)
Kröger, Paul (12)
Kuka, Christian (2)
Köster, Frank (3)
Lehnhoff, Sebastian (4)
Li, Yangjia (3)
Luedtke, Andreas (2)
Lüdtke, Andreas (7)
Lüth, Karsten (2)
Mahdi, Ahmed (5)
Markey, Nicolas (2)
Metzner, Alexander (3)
Moradkhani, Farzaneh (2)
Mosaad, Peter N (3)
Mosaad, Peter Nazier (4)
Möhlmann, Eike (2)
Müller-Olm, Markus (2)
Müllner, Nils Henning (3)
Nebel, Wolfgang (2)
Neubauer, Felix (3)
Neurohr, Christian (2)
Ody, Heinrich (2)
Olderog, Ernst-Rüdiger (4)
Poppen, Frank (2)
Pretschner, Alexander (3)
Pretschner, Walter Alexander (3)
Puch, Stefan (5)
Rakow, Astrid (6)
Ratschan, Stefan (2)
Rettberg, Achim (3)
Rieger, Jochem (12)
Sauter, Gerald (2)
Scheibler, Karsten (3)
Schubert, Tobias (3)
Schwammberger, Maike (3)
Schweda, Mark (3)
Shirmohammadi, Mahsa (2)
Siegel, Michael (2)
Sonntag, Daniel (3)
Stierand, Ingo (6)
Swaminathan, Mani (7)
Sztipanovits, Janos (5)
Tabassam, Nadra (2)
Teige, Tino (18)
Theel, Oliver (5)
Trende, Alexander (11)
Unni, Anirudh (9)
Veith, Eric M. S. P (3)
Wang, Qiuye (3)
Wang, Shuling (2)
Weber, Lars (3)
Worrell, James (2)
Xue, Bai (19)
Zhan, Naijun (21)
Zou, Liang (2)
nach Medientyp:
Artikel (163)
E-Books (13)
Bücher (7)
Datenträger (1)
Reihe (1)
181
49GBVUOB_ALMA71236774310003501
49GBVUOB_ALMA71236774310003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71236774310003501
Artikel
Compiling graphical real-time specifications into silicon
von
Martin Fränzle ; Karsten Lüth
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Lüth, Karsten ([1996-2001])
Fränzle, Martin ([1998-])
Enthalten in:
Formal techniques in real-time and fault-tolerant systems Berlin [u.a.], 1998 S. 272 - 281
Sprache:
Englisch
>> Volltext
Seite 19 von 19