Monografie
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
- Sprache
-
Englisch
- Anmerkungen
-
Paderborn, Universität Paderborn, Diss., 2013
- Identifier
-
1036932877
Thema
Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
- Timm, Nils
- Wehrheim, Heike
- Kleine Büning, Hans
Ähnliche Objekte (12)
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Full semantics preservation in model transformation
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Identifying behavior models for hybrid production systems
Local strategies for robot formation problems
Learning and coordination in sequential multiagent problems
Multi-criteria cooperation in multiagent systems by local adaptation
Vision based tracking in team sports
Refinement and consistency in multiview models
Verification of graph transformation systems with k-inductive invariants
Weak progressive forward simulation is necessary and sufficient for strong observational refinement
Verification of infinite-state graph transformation systems via abstraction
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Full semantics preservation in model transformation
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Identifying behavior models for hybrid production systems
Local strategies for robot formation problems
Learning and coordination in sequential multiagent problems
Multi-criteria cooperation in multiagent systems by local adaptation
Vision based tracking in team sports
Refinement and consistency in multiview models
Verification of graph transformation systems with k-inductive invariants
Weak progressive forward simulation is necessary and sufficient for strong observational refinement
Verification of infinite-state graph transformation systems via abstraction
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Full semantics preservation in model transformation
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Identifying behavior models for hybrid production systems
Local strategies for robot formation problems
Learning and coordination in sequential multiagent problems
Multi-criteria cooperation in multiagent systems by local adaptation
Vision based tracking in team sports
Refinement and consistency in multiview models
Verification of graph transformation systems with k-inductive invariants
Weak progressive forward simulation is necessary and sufficient for strong observational refinement