|
S. P. Banerian, “Securing Mobile Control System Devices: Development and Testing”, in Proc. 14th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'13), San Francisco, CA, USA, Oct. 2013, paper THPPC022, pp. 1131-1134. |
|
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. |
|
R. Risler et al., “25 Years of Continuous Operation of the Seattle Clinical Cyclotron Facility”, in Proc. 19th Int. Conf. on Cyclotrons and their Applications (Cyclotrons'10), Lanzhou, China, Sep. 2010, paper MOPCP011, pp. 66-68. |
