[n] B. Fernandez Adiego et al., “Applying Model Checking to Critical PLC Applications: An ITER Case Study”, in Proc. ICALEPCS'17, Barcelona, Spain, Oct. 2017, pp. 1792-1796. doi:10.18429/JACoW-ICALEPCS2017-THPHA161
Use Complete Form
Paper Title: Applying Model Checking to Critical PLC Applications: An ITER Case Study
Paper URL: https://jacow.org/icalepcs2017/papers/THPHA161.pdf
Conference: 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17)
Paper ID: THPHA161
Location in proceedings: 1792-1796
Original Author String: B. Fernandez Adiego (B. Fern?índez Adiego), E. Blanco Vinuela (E. Blanco Vi??uela), D. Darvas [CERN, Geneva, Switzerland] B. Avinashkrishna, Y.C. Gaikwad, S. Sreekuttan [Tata Consultancy Services, Pune, India] G.S. Lee [Mobiis Co., Ltd., Seoul, Republic of Korea] R. Pedica [Vitrociset s.p.a, Roma, Italy] I. Prieto Diaz [IBERINCO, Madrid, Spain] Gy. Sallai [BUTE, Budapest, Hungary]