Invariant analysis for multi-agent graph transformation systems using k-induction
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783869565316
- Maße
-
30 cm
- Umfang
-
37 Seiten
- Sprache
-
Deutsch
- Anmerkungen
-
Illustrationen
- Erschienen in
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; Nr. 143
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universitätsverlag Potsdam
- (wann)
-
2022
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:11 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
- Schneider, Sven
- Maximova, Maria
- Giese, Holger
- Universitätsverlag Potsdam
Entstanden
- 2022
Ähnliche Objekte (12)
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
k-Inductive invariant checking for graph transformation systems
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
A framework for incremental view graph maintenance
Triple graph grammars for multi-version models
Inductive invariant checking with partial negative application conditions
Object coordination nets 3.0 synchronization behavior typing for contracts
Object coordination nets 3.0, [...]. Reference manual
Object oriented design and architecture of distributed systems
Object coordination nets 3.0, [...]. Semantics specification
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Probabilistic metric temporal graph logic
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
k-Inductive invariant checking for graph transformation systems
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
A framework for incremental view graph maintenance
Triple graph grammars for multi-version models
Inductive invariant checking with partial negative application conditions
Object coordination nets 3.0 synchronization behavior typing for contracts
Object coordination nets 3.0, [...]. Reference manual
Object oriented design and architecture of distributed systems
Object coordination nets 3.0, [...]. Semantics specification
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers
Probabilistic metric temporal graph logic
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
k-Inductive invariant checking for graph transformation systems
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks
A framework for incremental view graph maintenance
Triple graph grammars for multi-version models
Inductive invariant checking with partial negative application conditions
Object coordination nets 3.0 synchronization behavior typing for contracts
Object coordination nets 3.0, [...]. Reference manual
Object oriented design and architecture of distributed systems
Object coordination nets 3.0, [...]. Semantics specification
Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4 - 9, 2007 ; revised selected papers