Documents Savoirs Contrôle des calculs en dynamique : bornes strictes et pertinentes sur une quantité d'intérêt, Model verification in transient dynamics : efficient and strict bounds on a quantity of interest Julien Waeytens