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

Jose Ignacio Aizpurua, Victoria M. Catterson

Research output: Contribution to conferencePaperpeer-review

2 Citations (Scopus)
98 Downloads (Pure)

Search results