Name Card

Full name Familienname, Vorname
Betz, Christine
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Salinas, Matias ; Betz, Christine Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case StudyInproceedings Konferenzbeitrag 8-Jun-2025
2Lopez-Miguel-2025-Formal Verification of PLCs as a Service A CERN-GSI Sa...-smur.pdf.jpgLopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Salinas, Matias ; Betz, Christine Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)Preprint Preprint 26-Feb-2025