On the use of probabilistic model-checking for the verification of prognostics applications
- Aizpurua, J.I.
- Catterson, V.M.
Actes de conférence:
2015 IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015
ISBN: 9781509019496
Année de publication: 2015
Pages: 7-13
Type: Communication dans un congrès