Author:
Millet Laure,Diemert Simon,Rees Chris,Viger Torin,Chechik Marsha,Menghi Claudio,Joyce Jeffrey
Publisher
Springer Nature Switzerland
Reference12 articles.
1. Diemert, S., Joyce, J.: Eliminative argumentation for arguing system safety - A practitioner’s experience. In: International Systems Conference (SysCon), pp. 1–7. IEEE (2020)
2. LHC MPS argument. www.cds.cern.ch/record/2854725/files/ (02 2023)
3. Lecture Notes in Computer Science;N Ghafari,2011
4. Goodenough, J., Weinstock, C., Klein, A.: Eliminative argumentation: A basis for arguing confidence in system properties. Tech. Rep. CMU/SEI-2015-TR-005, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (2015). www.resources.sei.cmu.edu/library/asset-view.cfm?AssetID=434805
5. Goodenough, J.B., Weinstock, C.B., Klein, A.Z.: Eliminative Induction: A Basis for Arguing System Confidence. In: International Conference on Software Engineering (ICSE), pp. 1161–1164. IEEE (2013)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献