Christine Betz

According to our database¹, Christine Betz authored at least 2 papers in 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version).

[BibT_eX]

[DOI]

CoRR, February, 2025

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025