Click on a search word OR use the drop-down choices to search for a paper.

Show all

2018

Diskin, Zinovy; Maibaum, Tom; Wassyng, Alan; Wynn-Williams, Stephen; Lawford, Mark

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.

Links | BibTeX | Tags: assurance case, block diagram, decomposition, model transformation, safety assurance, substitution