guest ::
| Home > Publications database > Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study |
| Journal Article/Contribution to a conference proceedings/Contribution to a book | GSI-2026-00321 |
; ; ;
2025
Springer Nature Switzerland
Cham
ISBN: 978-3-031-93705-7 (print), 978-3-031-93706-4 (electronic)
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
17th International Symposium on NASA Formal Methods-NFM, VA, VirginaVirgina, usa, 11 Jun 2025 - 13 Jun 2025 0302-9743 15682, 227 - 235 (2025) [10.1007/978-3-031-93706-4_13]
17th International Symposium on NASA Formal Methods-NFM, VA, VirginaVirgina, usa, 11 Jun 2025 - 13 Jun 2025 0302-9743 15682, 227 - 235 (2025) [10.1007/978-3-031-93706-4_13]
This record in other databases: 
Please use a persistent id in citations: doi:10.1007/978-3-031-93706-4_13
Contributing Institute(s): Research Program(s): Experiment(s):
Appears in the scientific report 2025
Database coverage:
Nationallizenz
; SCOPUS
|
The record appears in these collections: |
Record created 2026-01-20, last modified 2026-02-16