Feature-based Development of State Transition Diagrams with Property Preservation

Christian Prehofer

10 th Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, pp. 21-30

Oktober 2013