TY  - RPRT
TI  - Validation of Composite Systems by Discrepancy Propagation
AU  - David Reeb
AU  - Kanil Patel
AU  - Karim Barsim
AU  - Martin Schiegg
AU  - Sebastian Gerwinn
PY  - 2024
UR  - https://arxiv.org/abs/2210.12061
ID  - 2210.12061
ER  -