TY  - RPRT
TI  - Towards an executable semantics of automobile RTOS standard and its application to conformance verification
AU  - Xiaoran Zhu
AU  - Min Zhang
AU  - Jian Guo
PY  - 2017
UR  - https://arxiv.org/abs/1711.08853
ID  - 1711.08853
ER  -