MultiMedia Instruction in Safe and Secure Systems

Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing. MultiMedia Instruction in Safe and Secure Systems. In Martin Wirsing, Dirk Pattinson, Rolf Hennicker, editors, Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Volume 2755 of Lecture Notes in Computer Science, pages 82-117, Springer, 2002. [doi]

Authors

Bernd Krieg-Brückner

This author has not been identified. Look up 'Bernd Krieg-Brückner' in Google

Dieter Hutter

This author has not been identified. Look up 'Dieter Hutter' in Google

Arne Lindow

This author has not been identified. Look up 'Arne Lindow' in Google

Christoph Lüth

This author has not been identified. Look up 'Christoph Lüth' in Google

Achim Mahnke

This author has not been identified. Look up 'Achim Mahnke' in Google

Erica Melis

This author has not been identified. Look up 'Erica Melis' in Google

Philipp Meier

This author has not been identified. Look up 'Philipp Meier' in Google

Arnd Poetzsch-Heffter

This author has not been identified. Look up 'Arnd Poetzsch-Heffter' in Google

Markus Roggenbach

This author has not been identified. Look up 'Markus Roggenbach' in Google

George Russell

This author has not been identified. Look up 'George Russell' in Google

Jan-Georg Smaus

This author has not been identified. It may be one of the following persons: Look up 'Jan-Georg Smaus' in Google

Martin Wirsing

This author has not been identified. Look up 'Martin Wirsing' in Google