Ammar Aljer, Philippe Devienne. Co-Design and Refinement for Safety Critical Systems. In 19th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2004), 10-13 October 2004, Cannes, France, Proceedings. pages 78-86, IEEE Computer Society, 2004. [doi]
Abstract is missing.