Browse by Journal or other publication
Jump to: 2015
Number of items: 1.
2015
Aizpurua, Jose Ignacio and Catterson, Victoria M. (2015) On the use of probabilistic model-checking for the verification of prognostics applications. In: 2015 IEEE Seventh International Conference on Intelligent Computing and Information Systems, 2015-12-12 - 2015-12-14, Ain Shams University.