Author:
Kokaly Sahar,Salay Rick,Chechik Marsha,Lawford Mark,Maibaum Tom
Publisher
Springer International Publishing
Reference17 articles.
1. Bandur, V., McDermid, J.: Informing assurance case review through a formal interpretation of GSN core logic. In: Proceedings of SafeComp 2015, pp. 3–14 (2015)
2. Lecture Notes in Computer Science;M Borg,2016
3. Lecture Notes in Computer Science;J Brunel,2012
4. Di Sandro, A., Salay, R., Famelis, M., Kokaly, S., Chechik, M.: MMINT: a graphical tool for interactive model management. In: Proceedings of MoDELS 2015 (Demo) (2015)
5. Gallina, B.: A model-driven safety certification method for process compliance. In: Proceedings of ISSRE 2014 Workshops, pp. 204–209. IEEE (2014)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献