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 = '
Kersten, Michael
'
Treffer 1-5 von 5
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 1
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:
Reaktives System (1)
UML 1.4 (1)
Verklemmung (1)
nach Person:
Biniasch, Ramon (1)
Ewert, Stephan D (1)
Kersten, Michael (4)
Kersten, Simon (1)
Kollmeier, Birger (1)
Lamba, Manan (1)
Nebel, Wolfgang (3)
Oppenheimer, Frank (2)
Vorländer, Michael (1)
nach Medientyp:
Artikel (4)
Bücher (1)
1
49GBVUOB_ALMA51333242130003501
49GBVUOB_ALMA51333242130003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51333242130003501
Artikel
Comparison of loudness perception mismatch with visual presentation of two anechoic rooms
von
Manan Lamba ; Simon Kersten ; Stephan D. Ewert ; Michael Vorländer ; Birger Kollmeier
2021
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Ewert, Stephan D.
Kollmeier, Birger
Lamba, Manan
Enthalten in:
DAGA (47. : 2021 : Wien; Online) Tagungsband, DAGA 2021 - 47. Jahrestagung für Akustik Berlin : Deutsche Gesellschaft für Akustik e.V., 2021 (2021), Seite 1237-1240 1 Online-Ressource
Sprache:
Englisch
>> Volltext
2
49GBVUOB_ALMA21166487120003501
49GBVUOB_ALMA21166487120003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21166487120003501
Buch
A multi-phase deadlock detection method for reactive systems based on UML models
von
Michael Kersten
1. Aufl
,
2006
Details anzeigen
ISBN:
3899634594
Beteiligte Personen (Uni Oldenburg):
Kersten, Michael
Verlag:
München: Hut
Umfang:
X, 183 S graph. Darst 21 cm, 252 gr..
Weitere Angaben:
Zugl.: Oldenburg, Univ., Diss., 2006
Schlagwörter:
Hochschulschrift
Reaktives System
Verklemmung
UML 1.4
Echtzeitsystem
Modellierung
Objektorientierung
Entwurfssprache
Notation:
inf 230
inf 322
inf 315
Sprache:
Englisch
3
49GBVUOB_ALMA21236667500003501
49GBVUOB_ALMA21236667500003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236667500003501
Artikel
OOCOSIM : eine objekt-orientierte Co-Designmethode für eingebettete Hardware/Softwaresysteme
von
Frank Oppenheimer ; Michael Kersten ; Wolfgang Nebel
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Kersten, Michael
Nebel, Wolfgang
Oppenheimer, Frank ([1998-])
Enthalten in:
Informatik 2005 - Informatik live! Bonn 2 (2005), S. 683 - 687
Notation:
inf 001 i
Sprache:
Deutsch
>> Volltext
4
49GBVUOB_ALMA21236970230003501
49GBVUOB_ALMA21236970230003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236970230003501
Artikel
On detecting deadlocks in large UML models : based on an expressive subset
von
Michael Kersten ; Wolfgang Nebel
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Nebel, Wolfgang
Kersten, Michael
Enthalten in:
Design methods and applications for distributed embedded systems Boston [u.a.], 2004 S. [13] - 20
Sprache:
Englisch
>> Volltext
5
49GBVUOB_ALMA21236789070003501
49GBVUOB_ALMA21236789070003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236789070003501
Artikel
Erweiterung der UML um Zeitannotationen zur Analyse des Zeitverhaltens reaktiver Systeme
von
Michael Kersten ; Ramon Biniasch ; Wolfgang Nebel ; Frank Oppenheimer
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Biniasch, Ramon
Nebel, Wolfgang
Oppenheimer, Frank ([1998-])
Kersten, Michael
Enthalten in:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Aachen, 2003 S. 11 - 20
Sprache:
Deutsch
>> Volltext
Seite 1 von 1