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

Jose Ignacio Aizpurua, Victoria M. Catterson

Electronic And Electrical Engineering

Research output: Contribution to conference › Paper › peer-review

2 Citations (Scopus)

104 Downloads (Pure)

1 results

Filter

Finished
A Framework for Designing Prognostic Systems
Catterson, V. (Principal Investigator)
EPSRC (Engineering and Physical Sciences Research Council)
17/12/14 → 8/04/16
Project: Research