On the use of Probabilistic Model-Checking for the Verification of Prognostics Applications

  1. Aizpurua, Jose Ignacio
  2. Catterson, Victoria M.
Llibre:
2015 IEEE SEVENTH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING AND INFORMATION SYSTEMS (ICICIS)

ISBN: 978-1-5090-1949-6

Any de publicació: 2015

Pàgines: 7-13

Congrés: IEEE Seventh International Conference on Intelligent Computing and Information Systems (ICICIS)

Tipus: Aportació congrés

GOOGLE SCHOLAR
Fuente de los datos: WoS