On the use of probabilistic model-checking for the verification of prognostics applications (2015)
Attributed to:
A Framework for Designing Prognostic Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract