Searching for "MultiMedia Instruction in Safe and Secure Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

M.: Multimedia instruction in safe and secure systems
by Bernd Krieg-brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Arnd Poetzsch-heffter, Markus Roggenbach, George Russell, Jan-georg Smaus, Martin Wirsing, Universität Kaiserslautern, Universität Freiburg, Ludwig-maximilians-universität München — 2003 — In: Recent Trends in Algebraic Development Techniques. Volume 2755 of Lecture Notes in Computer Science
…MultiMedia Instruction in Safe and Secure Systems ⋆ Bernd Krieg-Brückner 1 , Dieter Hutter 2…
Cited by 4 (4 self) – Add To MetaCart

MultiMedia Instruction in
by Safe And Secure, Bernd Krieg-brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Arnd Poetzsch-heffter, George Russell, Jan-georg Smaus, Martin Wirsing, Universität Kaiserslautern, Universität Freiburg, Ludwig-maximilians-universität München — 2003 — In: Recent Trends in Algebraic Development Techniques. Volume 2755 of Lecture Notes in Computer Science
…MultiMedia Instruction in Safe and Secure Systems ⋆ Bernd Krieg-Brückner 1 , Dieter Hutter 2…
Add To MetaCart

The Common Framework Initiative for algebraic specification and development of software: recent progress
by Donald Sannella — 1999
… on Casl is in preparation. Casl will play a central role in the German multi-site "MultiMedia Instruction…
Cited by 1 (1 self) – Add To MetaCart

The Common Framework Initiative for algebraic specification and development of software: recent progress
by Donald Sannella Laboratory, Donald Sannella — 2001
… multi-site “MultiMedia Instruction in Safe and Secure Systems” project, funded by the BMBF, which…
Add To MetaCart

Showing 1 through 4.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB