TY  - RPRT
TI  - Formal verification of space systems designed with TASTE
AU  - I Dragomir
AU  - M Bozga
AU  - Iulian Ober
AU  - D Silveira
AU  - T Jorge
AU  - E Alaña
AU  - M Perrotin
PY  - 2021
UR  - https://arxiv.org/abs/2111.10132
ID  - 2111.10132
ER  -