Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron ColliderYi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse. fsen 2012: 174-189 [doi]

runs on WebDSL