Author:
Wang Timothy E.,Oh Chanwook,Low Matthew,Amundson Isaac,Daw Zamira,Pinto Alessandro,Chiodo Massimiliano L.,Wang Guoqiang,Hasan Saqib,Melville Ryan,Nuzzo Pierluigi
Publisher
Springer Nature Switzerland
Reference32 articles.
1. Holloway, C.: Understanding the overarching properties, ser. NASA technical memorandum (2019)
2. Rushby, J.: The interpretation and evaluation of assurance cases. Computer Science Laboratory, SRI International, Menlo Park, CA, Technical report. SRI-CSL-15-01 (2015)
3. TACW Group: Goal structuring notation community standard (version 3) (2021)
4. Hawkins, R., Habli, I., et al.: Weaving an assurance case from design: a model-based approach. In: International Symposium High Assurance Systems Engineering, pp. 110–117 (2015)
5. Rushby, J.: Formalism in safety cases. In: Dale, C., Anderson, T. (eds.) Making Systems Safer, pp. 3–17. Springer, London (2010). https://doi.org/10.1007/978-1-84996-086-1_1
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Computer-Aided Evaluation for Argument-Based Certification;2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC);2023-10-01