On the use of Probabilistic Model-Checking for the Verification of Prognostics Applications
- Aizpurua, Jose Ignacio
- Catterson, Victoria M.
ISBN: 978-1-5090-1949-6
Year of publication: 2015
Pages: 7-13
Congress: IEEE Seventh International Conference on Intelligent Computing and Information Systems (ICICIS)
Type: Conference paper