|
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. |
