On the use of probabilistic model-checking for the verification of prognostics applications
- Aizpurua, J.I.
- Catterson, V.M.
Konferenzberichte:
2015 IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015
ISBN: 9781509019496
Datum der Publikation: 2015
Seiten: 7-13
Art: Konferenz-Beitrag