TY  - RPRT
TI  - Formal Analysis of Non-functional Properties for a Cooperative Automotive System
AU  - Eun-Young Kang
AU  - Li Huang
AU  - Dongrui Mu
PY  - 2018
UR  - https://arxiv.org/abs/1803.06075
ID  - 1803.06075
ER  -