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
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