Click on a search word OR use the drop-down choices to search for a paper.
2018
Assurance via model transformations and their hierarchical refinement Proceedings Article
In: Proceedings of the 21st International Conference on Models Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 426 - 436, ACM, 2018.