Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study.

Naghmeh Ghafari, Ramana Kumar, Jeff Joyce, Bernd Dehning, Christos Zamantzas

Browse the full FMICS paper archive.