TY  - RPRT
TI  - Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
AU  - Alexandre Berard
AU  - Richard B. Kreckel
PY  - 2026
DO  - 10.4204/eptcs.452.7
UR  - https://arxiv.org/abs/2609.34871
ID  - 2609.34871
ER  -