On the use of probabilistic model-checking for the verification of prognostics applications

  1. Aizpurua, J.I.
  2. 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

DOI: 10.1109/INTELCIS.2015.7397225 GOOGLE SCHOLAR
Datenquelle: Scopus