TY  - RPRT
TI  - Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking
AU  - Ling Fang
AU  - Yoriyuki Yamagata
AU  - Yutaka Oiwa
PY  - 2014
DO  - 10.4204/eptcs.150.4
UR  - https://arxiv.org/abs/1405.1703
ID  - 1405.1703
ER  -