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 = '
Gezgin, Tayfun
'
Treffer 11-11 von 11
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 2 von 2
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:
Bhaduri, Purandar (1)
Büker, Matthias (1)
Dierks, Henning (1)
Fränzle, Martin (2)
Gezgin, Stefan (1)
Gezgin, Tayfun (10)
Henkler, Stefan (4)
Hungar, Hardi (2)
Josko, Bernhard (1)
Puch, Stefan (2)
Reinkemeier, Philipp (1)
Rettberg, Achim (5)
Sauter, Gerald (2)
Stierand, Ingo (8)
Wehrmeister, Marco (1)
Westphal, Bernd (2)
nach Medientyp:
Artikel (7)
E-Books (4)
Bücher (1)
11
49GBVUOB_ALMA71157061720003501
49GBVUOB_ALMA71157061720003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71157061720003501
E-Book
AVACS technical report: On the implementability of complex real-time systems
von
Matthias Büker ; Tayfun Gezgin ; Ingo Stierand
2011
Details anzeigen
Verlag:
Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang:
Online-Ressource (PDF-Datei: 8 S.).
Übergeordnetes Werk:
AVACS technical report
Verknüpfte Titel:
AVACS technical report ; 68
Sprache:
Englisch
>> Volltext
Seite 2 von 2
Seite 2 von 2
