Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey Joyce. Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. In Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings. Volume 14181 of Lecture Notes in Computer Science, pages 3-10, Springer, 2023. [doi]
Abstract is missing.