Reference Search

Favourites

For Word

[n]	I. D. Lopez-Miguel, C. Betz, E. Blanco Viñuela, B. Fernández Adiego, and M. Salinas, “Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code”, in Proc. ICALEPCS'23, Cape Town, South Africa, Oct. 2023, pp. 467-472. doi:10.18429/JACoW-ICALEPCS2023-TUPDP001

For LaTeX

%\cite{Lopez-Miguel:ICALEPCS23-TUPDP001} \bibitem{Lopez-Miguel:ICALEPCS23-TUPDP001} I. D. Lopez-Miguel, C. Betz, E. Blanco Viñuela, B. Fernández Adiego, and M. Salinas, \textquotedblleft{Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code}\textquotedblright, in \emph{Proc. ICALEPCS’23}, Cape Town, South Africa, Oct. 2023, pp. 467--472. \doi{10.18429/JACoW-ICALEPCS2023-TUPDP001}

For BibTeX

@inproceedings{lopez-miguel:icalepcs23-tupdp001, author = {I. D. Lopez-Miguel and C. Betz and E. Blanco Viñuela and B. Fernández Adiego and M. Salinas}, title = {{Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code}}, booktitle = {Proc. ICALEPCS'23}, pages = {467--472}, paper = {TUPDP001}, venue = {Cape Town, South Africa}, series = {International Conference on Accelerator and Large Experimental Physics Control Systems}, number = {20}, publisher = {JACoW Publishing, Geneva, Switzerland}, month = {12}, year = {2023}, issn = {2226-0358}, isbn = {978-3-95-450238-7}, doi = {10.18429/JACoW-ICALEPCS2023-TUPDP001}, language = {english} }

References

• I. D. Lopez-Miguel, C. Betz, E. Blanco Viñuela, B. Fernández Adiego, and M. Salinas, “Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code”, in Proc. 19th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'23), Cape Town, South Africa, Oct. 2023, paper TUPDP001, pp. 467-472.