Leen Lambers
Has participated in:
-
Certifying rule-based models using graph transformation
-
Adhesive High-Level Replacement Systems with Negative Application Conditions
-
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties
-
Object Flow Definition for Refined Activity Diagrams: Long Version