Merkliste 
 1 Ergebnisse 
 
1

Assurance via model transformations and their hierarchical ..:

, In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems,
Diskin, Zinovy ; Maibaum, Tom ; Wassyng, Alan.. - p. 426-436 , 2018