Sort by
Refine Your Search
-
methods to quantify the propagation of domain uncertainties in cardiovascular simulations, especially with regard to the estimation of biomarkers for image-based diagnostics. The project is a collaboration
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions