Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Victoria M. Catterson

On the Use of Probabilistic Model-Checking for the Verification of Prognostics Applications

English