- Alternative title
-
Cluster-Abstraktion von Graphtransformationssystemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Diss., 2015
- Classification
-
Informatik
- Keyword
-
Abstrakte Interpretation ; Graphersetzungssystem ; statische Analyse
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2015
- Creator
-
Backes, Peter
- Contributor
-
Wilhelm, Reinhard
- URN
-
urn:nbn:de:bsz:291-scidok-63078
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
19.04.20252026, 7:46 AM CEST
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
- Backes, Peter
- Wilhelm, Reinhard
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2015
Other Objects (12)
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Analysis and Abstraction of Graph Transformation Systems via Type Graphs
Verification of infinite-state graph transformation systems via abstraction
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
Graph-Based Procedural Abstraction
Graph grammar verification through abstraction
Automated assertion transformation across multiple abstraction levels
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Transformation objektorientierter Systeme basierend auf algebraischen Graph-Transformationen
Abstraction refinement for pushdown systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Analysis and Abstraction of Graph Transformation Systems via Type Graphs
Verification of infinite-state graph transformation systems via abstraction
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
Graph-Based Procedural Abstraction
Graph grammar verification through abstraction
Automated assertion transformation across multiple abstraction levels
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Transformation objektorientierter Systeme basierend auf algebraischen Graph-Transformationen
Abstraction refinement for pushdown systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Analysis and Abstraction of Graph Transformation Systems via Type Graphs
Verification of infinite-state graph transformation systems via abstraction
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
Graph-Based Procedural Abstraction
Graph grammar verification through abstraction
Automated assertion transformation across multiple abstraction levels
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Transformation objektorientierter Systeme basierend auf algebraischen Graph-Transformationen