Hochschulschrift
Static Verification Techniques for Attributed Graph Transformations
- Weitere Titel
-
Statische Verifikations Techniken für Attributierte Graphtransformationen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2016
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek Darmstadt
- (wann)
-
2017
- Urheber
- Beteiligte Personen und Organisationen
-
Schürr, Andy
Annegret, Habel
- URN
-
urn:nbn:de:tuda-tuprints-61502
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 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
- Deckwerth, Frederik
- Schürr, Andy
- Annegret, Habel
- Universitäts- und Landesbibliothek Darmstadt
Entstanden
- 2017
Ähnliche Objekte (12)
Static verification techniques for attributed graph transformations
Multi-Agent Safety Verification using Symmetry Transformations
Efficient static analysis and verification of featured transition systems
Report on analysis and verification techniques
Verification Techniques for TSO-Relaxed Programs
Attributed algebraic specifications
Attributed algebraic specifications
Net-attributed grammars
Ordered attributed grammars
Ordered attributed grammars
Attributed algebraic specifications
A formal verification technique for behavioural model-to-model transformations
Static verification techniques for attributed graph transformations
Multi-Agent Safety Verification using Symmetry Transformations
Efficient static analysis and verification of featured transition systems
Report on analysis and verification techniques
Verification Techniques for TSO-Relaxed Programs
Attributed algebraic specifications
Attributed algebraic specifications
Net-attributed grammars
Ordered attributed grammars
Ordered attributed grammars
Attributed algebraic specifications
A formal verification technique for behavioural model-to-model transformations
Static verification techniques for attributed graph transformations
Multi-Agent Safety Verification using Symmetry Transformations
Efficient static analysis and verification of featured transition systems
Report on analysis and verification techniques
Verification Techniques for TSO-Relaxed Programs
Attributed algebraic specifications
Attributed algebraic specifications
Net-attributed grammars
Ordered attributed grammars
Ordered attributed grammars
Attributed algebraic specifications