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
Année de publication: 2015
Pages: 7-13
Congreso: IEEE Seventh International Conference on Intelligent Computing and Information Systems (ICICIS)
Type: Communication dans un congrès