Design, Specification and Verification of Interactive Systems ’99 Rutilius Taurus Aemilianus Im Rahmen der vorliegenden Arbeit

Im Rahmen der vorliegenden Arbeit werden werkzeug- sowie werkstückseitig Messketten aufgebaut und die Funktionsnachweise mit Hilfe stationärer Spannungs- und Wärmequellen erbracht

Troeltsch entfaltete seine Sicht des Historismus als kritische Theorie der Moderne

im Schwerpunkt hier die Konvergenz von

2Internationalisierung und Flexibilisierung der Produktion 61

Preussische Gesetzgebung -- VI

Design, Specification and Verification of Interactive Systems ’99 Rutilius Taurus Aemilianus Im Rahmen der vorliegenden ArbeitThis book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV IS'99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was "Engaging the Mind by Enriching the Senses", emphasising the importance of the interface in making