Author:
Diemert Simon,Millet Laure,Joyce Jeff,Weber Jens H.
Publisher
Springer Nature Switzerland
Reference11 articles.
1. Assurance Case Working Group: Goal structuring notation community standard (version 3). Tech. rep, Safety Critical Systems Club (2021)
2. Bloomfield, R., Rushby, J.: Assessing confidence with assurance 2.0 (2023)
3. Denney, E., Pai, G., Habli, I.: Towards measurement of confidence in safety cases. In: 2011 International Symposium on Empirical Software Engineering and Measurement, pp. 380–383 (2011)
4. Diemert, S., Joyce, J.: Eliminative argumentation for arguing system safety - a practitioner’s experience. In: IEEE International Systems Conference (2020)
5. Goodenough, J.B., Weinstock, C.B., Klein, A.Z.: Eliminative argumentation: A basis for arguing confidence in system properties. Carnegie Mellon University -Software Engineering Institute Pittsburgh United States, Tech. rep. (2015)