On the use of probabilistic model-checking for the verification of prognostics applications
- Aizpurua, J.I.
- Catterson, V.M.
Actas:
2015 IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015
ISBN: 9781509019496
Año de publicación: 2015
Páginas: 7-13
Tipo: Aportación congreso