Model verification in dynamics through strict upper error bounds
scientific article; zbMATH DE number 5983001
scientific article