scientific article

zbMath1169.68507MaRDI QIDQ3396638

Frank Hermann, Hartmut Ehrig

Publication date: 19 September 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Incremental Concurrent Model Synchronization using Triple Graph Grammars ⋮ Towards Multiple Model Synchronization with Comprehensive Systems ⋮ Combining Graph Transformation and Algebraic Specification into Model Transformation ⋮ Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels ⋮ Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions ⋮ Comprehensive systems: a formal foundation for multi-model consistency management