- Weitere Titel
-
Cluster-Abstraktion von Graphtransformationssystemen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Diss., 2015
- Klassifikation
-
Informatik
- Schlagwort
-
Abstrakte Interpretation ; Graphersetzungssystem ; statische Analyse
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2015
- Urheber
-
Backes, Peter
- Beteiligte Personen und Organisationen
-
Wilhelm, Reinhard
- URN
-
urn:nbn:de:bsz:291-scidok-63078
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:46 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Backes, Peter
- Wilhelm, Reinhard
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2015
Ähnliche Objekte (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