2026-01-21 16:50 |
Detailed record - Similar records
|
2026-01-21 16:06 |
Detailed record - Similar records
|
2026-01-21 15:49 |
Detailed record - Similar records
|
2026-01-20 18:40 |
Detailed record - Similar records
|
2026-01-20 18:29 |
Detailed record - Similar records
|
2026-01-20 18:26 |
Detailed record - Similar records
|
2026-01-20 18:24 |
Detailed record - Similar records
|
2026-01-20 18:22 |
[GSI-2026-00321]
Journal Article/Contribution to a conference proceedings/Contribution to a book
Lopez-Miguel, I. D. ; Adiego, B. F. ; Salinas, M. ; et al
Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study
2025NASA 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 20252025-06-112025-06-13
0302-9743 15682, 227 - 235 (2025) [10.1007/978-3-031-93706-4_13]2025
Detailed record - Similar records
|
2026-01-20 18:17 |
Detailed record - Similar records
|
2026-01-20 18:12 |
Detailed record - Similar records
|
|
|