%0 Conference Paper
%A Lopez-Miguel, Ignacio D.
%A Adiego, Borja Fernández
%A Salinas, Matias
%A Betz, Christine
%T Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study
%J 0302-9743
%V 15682
%C Cham
%I Springer Nature Switzerland
%M GSI-2026-00321
%@ 978-3-031-93705-7 (print)
%B Lecture Notes in Computer Science
%P 227 - 235
%D 2025
%< NASA Formal Methods / Dutle, Aaron (Editor); Cham : Springer Nature Switzerland, 2025, Chapter 13 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-031-93705-7=978-3-031-93706-4 ; doi:10.1007/978-3-031-93706-4
%B 17th International Symposium on NASA Formal Methods-NFM, VA
%C 11 Jun 2025 - 13 Jun 2025, Virgina (usa)
Y2 11 Jun 2025 - 13 Jun 2025
M2 Virgina, usa
%F PUB:(DE-HGF)16 ; PUB:(DE-HGF)8 ; PUB:(DE-HGF)7
%9 Journal ArticleContribution to a conference proceedingsContribution to a book
%U <Go to ISI:>//WOS:001548537000013
%R 10.1007/978-3-031-93706-4_13
%U https://repository.gsi.de/record/364952