- Weitere Titel
-
Verifikation von Graphtransformationssystemen mit k-induktiven Invarianten
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Potsdam, Universität Potsdam, Dissertation, 2019
- Schlagwort
-
Invariants
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universität Potsdam
- (wann)
-
2020
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:kobv:517-opus4-442742
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:48 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.
Beteiligte
- Dyck, Johannes
- Giese, Holger
- Rensink, Arend
- Wehrheim, Heike
- Universität Potsdam
Entstanden
- 2020
Ähnliche Objekte (12)
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
k-Inductive invariant checking for graph transformation systems
Architectural modelling and verification of open service-oriented systems of systems
Inductive invariant checking with partial negative application conditions
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Triple graph grammars for multi-version models
A framework for incremental view graph maintenance
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Object coordination nets 3.0, [...]. Semantics specification
Object oriented design and architecture of distributed systems
Object coordination nets 3.0, [...]. Reference manual
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
k-Inductive invariant checking for graph transformation systems
Architectural modelling and verification of open service-oriented systems of systems
Inductive invariant checking with partial negative application conditions
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Triple graph grammars for multi-version models
A framework for incremental view graph maintenance
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Object coordination nets 3.0, [...]. Semantics specification
Object oriented design and architecture of distributed systems
Object coordination nets 3.0, [...]. Reference manual
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
k-Inductive invariant checking for graph transformation systems
Architectural modelling and verification of open service-oriented systems of systems
Inductive invariant checking with partial negative application conditions
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
Triple graph grammars for multi-version models
A framework for incremental view graph maintenance
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Object coordination nets 3.0, [...]. Semantics specification
Object oriented design and architecture of distributed systems