[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
Use Complete Form
Paper Title: Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code
Conference: 19th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'23)
Paper ID: TUPDP001
Location in proceedings: 467-472
Original Author String: I. D. Lopez-Miguel,C. Betz,E. Blanco Viñuela,B. Fernández Adiego,M. Salinas