|
J. P. Jacky, “EPICS-based Control System for a Radiation Therapy Machine”, in Proc. 14th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'13), San Francisco, CA, USA, Oct. 2013, paper TUCOCA05, pp. 922-925. |
|
J. P. Jacky et al., “Automatic Formal Verification for EPICS”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, pp. 285-291. |
