364952 20260216083720.0 978-3-031-93705-7 (print) 978-3-031-93706-4 (electronic) 10.1007/978-3-031-93706-4_13 doi 0302-9743 ISSN 1611-3349 ISSN WOS:001548537000013 WOS GSI-2026-00321 Lopez-Miguel, Ignacio D. 0000-0002-8044-0385 0 Corresponding author 17th International Symposium on NASA Formal Methods-NFM, VA Virgina 2025-06-11 - 2025-06-13 usa Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study Cham 2025 Springer Nature Switzerland 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 227 - 235 CONFERENCE_PAPER ORCID Conference Paper 33 EndNote Journal Article PUB:(DE-HGF)16 PUB:(DE-HGF) journal INPROCEEDINGS BibTeX conferenceObject DRIVER Output Types/Conference Paper DataCite Contribution to a conference proceedings contrib contrib PUB:(DE-HGF)8 1769009302_3533851 PUB:(DE-HGF) Contribution to a book PUB:(DE-HGF)7 PUB:(DE-HGF) contb Lecture Notes in Computer Science 15682 6G14 - GSI-MU Ion Facilities (POF4-6G14) G:(DE-HGF)POF4-6G14 POF4-6G14 POF IV 0 Dataset connected to DataCite EXP:(DE-Ds200)Altdaten-20200803 EXP:(DE-Ds200)Altdaten-20200803 Facility Altdaten therefore no facility 0 Adiego, Borja Fernández 1 Salinas, Matias P:(DE-HGF)0 2 Betz, Christine P:(DE-Ds200)OR3416 3 10.1007/978-3-031-93706-4_13 2025 0302-9743 VDB oai:repository.gsi.de:364952 GSI Helmholtzzentrum für Schwerionenforschung GmbH I:(DE-Ds200)20121206GSI GSI 2 P:(DE-HGF)0 GSI Helmholtzzentrum für Schwerionenforschung GmbH I:(DE-Ds200)20121206GSI GSI 3 P:(DE-Ds200)OR3416 DE-HGF Forschungsbereich Materie Großgeräte: Materie G:(DE-HGF)POF4-6G0 G:(DE-HGF)POF4-6G14 G:(DE-HGF)POF4 G:(DE-HGF)POF4-600 G:(DE-HGF)POF GSI-MU Ion Facilities 0 2025 Nationallizenz StatID:(DE-HGF)0420 StatID 2024-12-28 ger DBCoverage StatID:(DE-HGF)0200 StatID SCOPUS 2024-12-28 I:(DE-Ds200)ACO-20051214OR053 ACO Accelerator Controls 0 contrib VDB journal contb I:(DE-Ds200)ACO-20051214OR053 UNRESTRICTED