MultiMedia Instruction in Safe and Secure Systems-Reference-Cited by-同舟云学术

MultiMedia Instruction in Safe and Secure Systems

Published:2003 Issue: Volume: Page:82-117
ISSN:0302-9743
Container-title:Recent Trends in Algebraic Development Techniques
language:
Short-container-title:

Author:

Krieg-Brückner Bernd,Hutter Dieter,Lindow Arne,Lüth Christoph,Mahnke Achim,Melis Erica,Meier Philipp,Poetzsch-Heffter Arnd,Roggenbach Markus,Russell George,Smaus Jan-Georg,Wirsing Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-40020-2_4

Reference29 articles.

1. Computing Classification System [1998 Version], http://www.acm.org/class/

2. Astesiano, E., Bidoit, M., Krieg-Brückner, B., Kirchner, H., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl – the common algebraic specification language. Theoretical Computer Science 286, 153–196 (2002)

3. Astesiano, E., Reggio, G.: Formalism and method. Theoretical Computer Science 236(1–2) (2000)

4. b-novative GmbH. davinci presenter web site, http://www.b-novative.com/products/daVinci/

5. Lecture Notes in Computer Science;K. Baclawski,2001

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards the automated verification of semi-structured documents;Data & Knowledge Engineering;2009-03

2. Checking Content Consistency of Integrated Web Documents;Journal of Computer Science and Technology;2006-05

3. An Exploration in the Space of Mathematical Knowledge;Lecture Notes in Computer Science;2006

4. Engineering Mathematical Knowledge;Lecture Notes in Computer Science;2006

5. Specification of an Ontology for Route Graphs;Spatial Cognition IV. Reasoning, Action, Interaction;2005