|
[UC15]
Jose Ignacio Aizpurua Unanue and Victoria M. Catterson.
On the use of probabilistic model-checking for the verification of prognostics applications.
In Proc. IEEE Seventh International Conference on Intelligent Computing and Information Systems (ICICIS'15).
2015.
[Applies probabilistic model checking and PRISM to prognostic techniques aimed at estimating the remaining useful life of assets.]
|
|
Links:
[Google]
[Google Scholar]
|