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 J. Joyce

Browse the full SAFECOMP paper archive.