|
[CC15]
Giuseppe Cicotti and Antonio Coronato.
Towards a Probabilistic Model Checking-based approach for Medical Device Risk Assessment.
In Proc. IEEE International Workshop on Medical Measurement and Applications (MEMEA'15).
2015.
[Uses probabilistic model checking and PRISM in a new approach for quantitative medical device risk assessment.]
|
|
Links:
[Google]
[Google Scholar]
|