Reference Search

Reference

For Word

[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

For LaTeX

%\cite{Castro Pinto:ICALEPCS25-THPD103} \bibitem{Castro Pinto:ICALEPCS25-THPD103} J. Castro Pinto, L. Gutierrez Prendes, B. Schofield, B. Fernandez Adiego, X. E. Fink, and J. Ortola Vidal, \textquotedblleft{From testing to verification: a comprehensive methodology for industrial controls frameworks}\textquotedblright, in \emph{Proc. ICALEPCS’25}, Chicago, IL, USA, Sep. 2025, pp. 1843--1849. \doi{10.18429/JACoW-ICALEPCS2025-THPD103}

For BibTeX

@inproceedings{castro pinto:icalepcs25-thpd103, author = {J. Castro Pinto and L. Gutierrez Prendes and B. Schofield and B. Fernandez Adiego and X. E. Fink and J. Ortola Vidal}, title = {{From testing to verification: a comprehensive methodology for industrial controls frameworks}}, booktitle = {Proc. ICALEPCS'25}, pages = {1843--1849}, paper = {THPD103}, venue = {Chicago, IL, USA}, series = {Int. Conf. on Accelerator and Large Experimental Physics Control Systems}, number = {20}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {12}, year = {2025}, issn = {2226-0358}, isbn = {978-3-95-450255-4}, doi = {10.18429/JACoW-ICALEPCS2025-THPD103}, language = {english} }

Metadata