On the Use of Probabilistic Model-Checking for the Verification of Prognostics Applications
doi 10.1109/intelcis.2015.7397225
Full Text
Open PDFAbstract
Available in full text
Date
December 1, 2015
Authors
Publisher
IEEE
Available in full text
December 1, 2015
IEEE