Hochschulschrift
Dynamische Modellanalyse von Metamodellen mit operationaler Semantik
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Berlin, Humboldt Universität zu Berlin, Diss., 2014
- Classification
-
Informatik
- Keyword
-
Operationale Semantik
Metamodell
Analyse
Aktionssemantik
Temporale Logik
Zeitbehafteter Automat
Aktion
Transitionssystem
Abstrakte Zustandsmaschine
Bisimulation
GPSS
Framework
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
- (when)
-
2015
- Creator
- Contributor
- URN
-
urn:nbn:de:kobv:11-100228216
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Soden, Michael
- Fischer, Joachim
- Schlingloff, Holger
- Prinz, Andreas
- Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
Time of origin
- 2015
Other Objects (12)
Die Osteosynthese pertrochantärer Femurfrakturen mit der dynamischen Hüftschraube : eine klinische und radiologische Verlaufsstudie
Erzeugung von Gegentaktimpulsen mit hoher Symmetrie und Schaltzeiten im PS-Bereich zur Ansteuerung von Serientor-Sampling-Leitungen mit Diodentoren
Philosophische Anthropologie : zur Bildungsgeschichte eines Denkansatzes
Zu Angriffen gegen die historische Mission der Arbeiterklasse und die sozialistische Lebensweise in der politischen Bildung der BRD
Simula und Simulation kombinierter Modelle
Der Meister : ein Arbeitskrafttypus zwischen Erosion und Stabilisierung
Der Kirchenkampf in der evangelisch-lutherischen Landeskirche Sachsens 1933 bis 1937, [Nebst] Anh.
Beiträge zum Problem des Einarmigen Banditen
Softwaretechnologie "Rapid Prototyping" bei der Entwicklung von Kommunikationssoftware verteilter sowie eingebetteter Systeme
Untersuchungen zur Effektivität experimenteller chemischer Aufgabenstellungen für Studenten
Königtum, Adel und Kirche im Königreich Italien (774 - 875)
DDR-Forschung und DDR-Bild als Bestandteile der antikommunistischen Strategie des Monopolkapitals der BRD
Die Osteosynthese pertrochantärer Femurfrakturen mit der dynamischen Hüftschraube : eine klinische und radiologische Verlaufsstudie
Erzeugung von Gegentaktimpulsen mit hoher Symmetrie und Schaltzeiten im PS-Bereich zur Ansteuerung von Serientor-Sampling-Leitungen mit Diodentoren
Philosophische Anthropologie : zur Bildungsgeschichte eines Denkansatzes
Zu Angriffen gegen die historische Mission der Arbeiterklasse und die sozialistische Lebensweise in der politischen Bildung der BRD
Simula und Simulation kombinierter Modelle
Der Meister : ein Arbeitskrafttypus zwischen Erosion und Stabilisierung
Der Kirchenkampf in der evangelisch-lutherischen Landeskirche Sachsens 1933 bis 1937, [Nebst] Anh.
Beiträge zum Problem des Einarmigen Banditen
Softwaretechnologie "Rapid Prototyping" bei der Entwicklung von Kommunikationssoftware verteilter sowie eingebetteter Systeme
Untersuchungen zur Effektivität experimenteller chemischer Aufgabenstellungen für Studenten
Königtum, Adel und Kirche im Königreich Italien (774 - 875)
DDR-Forschung und DDR-Bild als Bestandteile der antikommunistischen Strategie des Monopolkapitals der BRD
Die Osteosynthese pertrochantärer Femurfrakturen mit der dynamischen Hüftschraube : eine klinische und radiologische Verlaufsstudie
Erzeugung von Gegentaktimpulsen mit hoher Symmetrie und Schaltzeiten im PS-Bereich zur Ansteuerung von Serientor-Sampling-Leitungen mit Diodentoren
Philosophische Anthropologie : zur Bildungsgeschichte eines Denkansatzes
Zu Angriffen gegen die historische Mission der Arbeiterklasse und die sozialistische Lebensweise in der politischen Bildung der BRD
Simula und Simulation kombinierter Modelle
Der Meister : ein Arbeitskrafttypus zwischen Erosion und Stabilisierung
Der Kirchenkampf in der evangelisch-lutherischen Landeskirche Sachsens 1933 bis 1937, [Nebst] Anh.
Beiträge zum Problem des Einarmigen Banditen
Softwaretechnologie "Rapid Prototyping" bei der Entwicklung von Kommunikationssoftware verteilter sowie eingebetteter Systeme
Untersuchungen zur Effektivität experimenteller chemischer Aufgabenstellungen für Studenten
Königtum, Adel und Kirche im Königreich Italien (774 - 875)