Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Enrique Blanco Viñuela, Matias Salinas, Christine Betz

Journal title: 19th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023)

Journal publisher: Inspire HEP - Jacow

Published year: 2023

DOI identifier: 10.18429/jacow-icalepcs2023-tupdp001