Andreas Rauh, Johanna Minisini, Eberhard P. Hofer. Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering. In Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein, editors, Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008. Volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]
Abstract is missing.