published in Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Journal
presented at event MODELS '18: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems Conference
keywords Assurance case Block diagram Computer Science Computer Science, Information Systems Computer Science, Interdisciplinary Applications Computer Science, Theory & Methods Decomposition Model transformation Science & Technology Substitution Technology