Hochschulschrift
Dynamische Modellanalyse von Metamodellen mit operationaler Semantik
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Berlin, Humboldt Universität zu Berlin, Diss., 2014
- Klassifikation
-
Informatik
- Schlagwort
-
Operationale Semantik
Metamodell
Analyse
Aktionssemantik
Temporale Logik
Zeitbehafteter Automat
Aktion
Transitionssystem
Abstrakte Zustandsmaschine
Bisimulation
GPSS
Framework
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
- (wann)
-
2015
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:kobv:11-100228216
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Soden, Michael
- Fischer, Joachim
- Schlingloff, Holger
- Prinz, Andreas
- Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
Entstanden
- 2015