|
B. Fernandez Adiego et al., “Applying Model Checking to Critical PLC Applications: An ITER Case Study”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, pp. 1792-1796. |
|
Y. S. Cho, B. H. Choi, K. H. Chung, and G. S. Lee, “Design and Construction of Synchrotron Radiation Source CESS Phase I”, in Proc. 4th European Particle Accelerator Conf. (EPAC'94), London, UK, Jun.-Jul. 1994, pp. 606-609. |
|
S. H. Park et al., “Status of RF Driver and Phasing System for PLS 2.0 GeV Linac”, in Proc. 1st Asian Particle Accelerator Conf. (APAC'98), Tsukuba, Japan, Mar. 1998, paper 4D020, pp. 127-129. |
|
S. C. Kim, G. S. Lee, M. H. Cho, and I. S. Ko, “Development of High Performance Magnet Power Supply”, in Proc. 1st Asian Particle Accelerator Conf. (APAC'98), Tsukuba, Japan, Mar. 1998, paper 5D066, pp. 561-563. |
|
M. K. Park, G. S. Lee, J. T. Noh, J. Y Huang, and I. S. Ko, “The Interlock System For U7 Undulator in PLS”, in Proc. 1st Asian Particle Accelerator Conf. (APAC'98), Tsukuba, Japan, Mar. 1998, paper 6D008, pp. 686-688. |
