[n] J. Castro Pinto, L. Gutierrez Prendes, B. Schofield, B. Fernandez Adiego, X. E. Fink, and J. Ortola Vidal, “From testing to verification: a comprehensive methodology for industrial controls frameworks”, in Proc. ICALEPCS'25, Chicago, IL, USA, Sep. 2025, pp. 1843-1849. doi:10.18429/JACoW-ICALEPCS2025-THPD103
Use Complete Form