Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jose Ignacio Aizpurua

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

English