Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems.

Yiannis Papadopoulos, Christian Grante

Browse the full COMPSAC paper archive.