On the use of probabilistic model-checking for the verification of prognostics applications
- Aizpurua, J.I.
- Catterson, V.M.
Aktak:
2015 IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015
ISBN: 9781509019496
Argitalpen urtea: 2015
Orrialdeak: 7-13
Mota: Biltzar ekarpena