|
[BZK21]
Matthew L. Bolton, Xi Zheng and Eunsuk Kang.
A formal method for including the probability of erroneous human task behavior in system analyses.
Reliability Engineering & System Safety, 213.
2021.
[Proposes formal methods to reason about human error in computer systems, including a connection to PRISM for probabilistic verification.]
|
|
Links:
[Google]
[Google Scholar]
|