TY  - CONF
AU  - Lopez-Miguel, Ignacio D.
AU  - Adiego, Borja Fernández
AU  - Salinas, Matias
AU  - Betz, Christine
TI  - Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study
JO  - 0302-9743
VL  - 15682
CY  - Cham
PB  - Springer Nature Switzerland
M1  - GSI-2026-00321
SN  - 978-3-031-93705-7 (print)
T2  - Lecture Notes in Computer Science
SP  - 227 - 235
PY  - 2025
T2  - 17th International Symposium on NASA Formal Methods-NFM, VA
CY  - 11 Jun 2025 - 13 Jun 2025, Virgina (usa)
Y2  - 11 Jun 2025 - 13 Jun 2025
M2  - Virgina, usa
LB  - PUB:(DE-HGF)16 ; PUB:(DE-HGF)8 ; PUB:(DE-HGF)7
UR  - <Go to ISI:>//WOS:001548537000013
DO  - DOI:10.1007/978-3-031-93706-4_13
UR  - https://repository.gsi.de/record/364952
ER  -