Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

Yi-Ling Hwong, Jeroen J. A. Keiren, Vincent J. J. Kusters, Sander J. J. Leemans, Tim A. C. Willemse. Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. Science of Computer Programming, 78(12):2435-2452, 2013. [doi]

Abstract

Abstract is missing.