Reference Search
Search
Authors
Conferences
Favourites
Login
Register
Help
Author: Y. C. Gaikwad
References
Search
Search
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.
Back to the list