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
Fischer, Joachim
Schlingloff, Holger
Prinz, Andreas

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

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 2015

Ähnliche Objekte (12)