Author:
Murphy Logan,Viger Torin,Sandro Alessio Di,Shahin Ramy,Chechik Marsha
Publisher
Springer International Publishing
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. MMINT-A: A framework for model-based safety assurance;Science of Computer Programming;2024-01
2. Assurance Case Development as Data: A Manifesto;2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2023-05
3. The ForeMoSt approach to building valid model-based safety arguments;Software and Systems Modeling;2022-11-30