Publisher
Springer International Publishing
Reference40 articles.
1. Basir, N.: Safety cases for the formal verification of automatically generated code. Ph.D. thesis, University of Southampton (2010)
2. Bate, I., Kelly, T.: Architectural considerations in the certification of modular systems. Reliab. Eng. Syst. Saf. 81(3), 303–324 (2003). https://doi.org/10.1016/S0951-8320(03)00094-2
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);AD Brucker,2018
4. Calinescu, R., Weyns, D., Gerasimou, S., Iftikhar, M.U., Habli, I., Kelly, T.: Engineering trustworthy self-adaptive software with dynamic assurance cases. IEEE Trans. Softw. Eng. 44(11), 1039–1069 (2018). https://doi.org/10.1109/tse.2017.2738640
5. Common Criteria Consortium: Common criteria for information technology security evaluation - part 1: Introduction and general model, Technical report, CCMB-2017-04-001 (2017). https://www.commoncriteriaportal.org
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献