published in Proceedings of IEEE International Symposium on High Assurance Systems Engineering Journal
presented at event 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) Conference
keywords Computer Science Computer Science, Hardware & Architecture Computer Science, Information Systems Computer Science, Software Engineering Computer Science, Theory & Methods Engineering Engineering, Electrical & Electronic Science & Technology Technology arguments assurance cases model-driven engineering safety cases weaving