Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Publikation: Zeitschriftenartikel

Towards the development of an interval arithmetic environment for validated computer-aided design and verification of systems in control engineering

Grunddaten

Titel Towards the development of an interval arithmetic environment for validated computer-aided design and verification of systems in control engineering
Veröffentlicht in Numerical validation in current hardware architectures : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 6-11, 2008 ; revised papers. - Berlin [u.a.] : Springer
Erscheinungsjahr 2009
Seiten (von – bis) 175 – 188
Jahr 2009
Publikationsform Druckschrift
Publikationsart Zeitschriftenartikel
Sprache Englisch
Letzte Änderung 11.03.2016 05:04:45
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/31538
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Autoren

Rauh, Andreas Link zur UB Rostock Link zum GBV-Katalog
Minisini, Johanna
Hofer, Eberhard P.

Einrichtung

Fakultät für Maschinenbau und Schiffstechnik (MSF)