TY  - RPRT
TI  - Significant acceleration of development by automating quality assurance of a medical particle accelerator safety system using a formal language driven test stand
AU  - Pablo Fernandez Carmona
AU  - Michael Eichin
AU  - Alexandre Mayor
AU  - Harald Regele
AU  - Martin Grossmann
AU  - Damien Charles Weber
PY  - 2018
UR  - https://arxiv.org/abs/1807.01748
ID  - 1807.01748
ER  -