Assurance Case Arguments in the Large: The CERN LHC Machine Protection System

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]

Authors

Laure Millet

This author has not been identified. Look up 'Laure Millet' in Google

Simon Diemert

This author has not been identified. Look up 'Simon Diemert' in Google

Chris Rees

This author has not been identified. Look up 'Chris Rees' in Google

Torin Viger

This author has not been identified. Look up 'Torin Viger' in Google

Marsha Chechik

This author has not been identified. Look up 'Marsha Chechik' in Google

Claudio Menghi

This author has not been identified. Look up 'Claudio Menghi' in Google

Jeffrey Joyce

This author has not been identified. Look up 'Jeffrey Joyce' in Google