|
[DMJ18]
Kai Ding, Andrey Morozov and Klaus Janschek.
Reliability Evaluation of Functionally Equivalent Simulink Implementations of a PID Controller under Silent Data Corruption.
In Proc. IEEE 29th International Symposium on Software Reliability Engineering (ISSRE'18), pages 47-57.
2018.
[Proposes a method for formal system reliability evaluation, based on the tool OpenErrorPro and using PRISM as a backend.]
|
|
Links:
[Google]
[Google Scholar]
|