Discrete Mathematics for New Technology
Discrete Mathematics for New Technology
Introduction to Discrete Mathematics, Formal System Specification, and Z
Introduction to Discrete Mathematics, Formal System Specification, and Z
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Diagrammatic Reasoning Systems
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Hi-index | 0.00 |
This paper concentrates on a possible application for spider diagrams; using them to simplify the task of identifying the effect of individual component failures, leading to system failures in safety critical software or hardware designs. http://www.energytechnologycontrol.com/.