Publications database

Latest additions:
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
; ; ; et al
Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study
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 20252025-06-112025-06-13
0302-9743 15682, 227 - 235 () [10.1007/978-3-031-93706-4_13]

Detailed record - Similar records
2026-01-20
18:17

Detailed record - Similar records
2026-01-20
18:12
OpenAccess [GSI-2026-00319] Journal Article/Contribution to a conference proceedings
; ; ; et al
SIS100 By-pass line - from the sketch into the tunnel
29TH INTERNATIONAL CRYOGENIC ENGINEERING CONFERENCE INTERNATIONAL CRYOGENIC MATERIALS CONFERENCE 2024, GeneveGeneve, Switzerland, 22 Jun 2024 - 26 Jun 20242024-06-222024-06-26 IOP conference series / Materials science and engineering 1327(1), 012111 - () [10.1088/1757-899X/1327/1/012111]
In Darmstadt, Germany, the Facility for Antiproton and Ion Research (FAIR) is presently under construction. One of the most complex machines is the SIS100, a synchrotron with a circumference of 1100 metres. [...]
OpenAccess: Download fulltextPDF Download fulltextPDF (PDFA);

Detailed record - Similar records