JaCoW Logo

Reference Search

Author: Gy. Sallai


References



Reference
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.
E. Blanco Vinuela, D. Darvas, and Gy. Sallai, “Testing Solutions for Siemens PLCs Programs Based on PLCSIM Advanced”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, pp. 1108.


Back to the list