MultiMedia Instruction in Safe and Secure Systems
暂无分享,去创建一个
Markus Roggenbach | Dieter Hutter | Martin Wirsing | Arnd Poetzsch-Heffter | Christoph Lüth | Erica Melis | Jan-Georg Smaus | Bernd Krieg-Brückner | Achim Mahnke | Philipp Meier | Arne Lindow | George Russell | B. Krieg-Brückner | E. Melis | A. Poetzsch-Heffter | M. Wirsing | J. Smaus | D. Hutter | M. Roggenbach | Christoph Lüth | Arne Lindow | P. Meier | Achim Mahnke | George Russell
[1] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[2] Paul Libbrecht,et al. Wissensmodellierung und -nutzung in ActiveMath , 2003, Künstliche Intell..
[3] John K. Ousterhout,et al. Tcl and the Tk Toolkit , 1994 .
[4] Till Mossakowski. CASL: From Semantics to Tools , 2000, TACAS.
[5] Tiziana Margaria,et al. The Electronic Tool Integration platform: concepts and design , 1997, International Journal on Software Tools for Technology Transfer.
[6] Lewis Hart,et al. Extending UML to Support Ontology Engineering for the Semantic Web , 2001, UML.
[7] Peter D. Mosses,et al. CASL: the Common Algebraic Specification Language , 2002, Theor. Comput. Sci..
[8] Colin Runciman,et al. Haskell and XML: generic combinators or type-based translation? , 1999, ICFP '99.
[9] Josef Voss,et al. Assignments in a Virtual University - The WebAssign-System. , 1999 .
[10] E. Melis,et al. ActiveMath : System Description , 2001 .
[11] Michael Kohlhase,et al. OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge , 2000, AISC.
[12] Gianna Reggio,et al. Formalism and method , 1997, Theor. Comput. Sci..
[13] Dieter Hutter,et al. The Development Graph Manager MAYA , 2002, AMAST.
[14] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .
[15] Michael Fröhlich. Inkrementelles Graphlayout im Visualisierungssystem da Vinci , 1998 .