Documents
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
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}