„Graph refinement“

Suchergebnisse

145 Treffer

• Abstraction and abstraction refinement in the verification of graph transformation systems
  Kozyura, Vitaly
• Bisimulations and model refinement
  Glück, Roland 2015 Pro Business
• Dynamic software architectures – a style based modeling and refinement technique with graph transformations
  Thöne, Sebastian
• Integration of Image Data for Refining Building Boundaries Derived from Point Clouds
  Perera, S. N. ; Hetti Arachchige, N. ; Schneider, D.
• Graph Isomorphism, Color Refinement, and Compactness
  Arvind, V. ; Köbler, Johannes ; Rattan, Gaurav ; Verbitsky, Oleg