|
[FYO14]
Ling Fang, Yoriyuki Yamagata and Yutaka Oiwa.
Evaluation of A Resilience Embedded System Using Probabilistic Model-Checking.
In Proc. 3rd International Workshop on Engineering Safety and Security Systems 2014 (ESSS'14), volume 150 of EPTCS, pages 35-49.
2014.
[Uses probabilistic model checking and PRISM to analyse resilience strategies for micro processor units.]
|
|
Links:
[Google]
[Google Scholar]
|