TY  - RPRT
TI  - Dynamic Analysis of ARINC 653 RTOS with LLVM
AU  - Vitaly Cheptsov
AU  - Alexey Khoroshilov
PY  - 2021
DO  - 10.1109/ispras.2018.00009
UR  - https://arxiv.org/abs/2106.01766
ID  - 2106.01766
ER  -