Report - A Bidirectional Transformation between EMF Models and ... · of transition rules. Groove can also be used to identify interesing states that meet conditions defined in Groove rules,

Please pass captcha verification before submit form