Semi-Automated Safety Analysis for Field Programmable Gate Arrays

Philippa Conmy, Iain Bate. Semi-Automated Safety Analysis for Field Programmable Gate Arrays. In 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009. pages 166-175, IEEE Computer Society, 2009. [doi]

Authors

Philippa Conmy

This author has not been identified. Look up 'Philippa Conmy' in Google

Iain Bate

This author has not been identified. Look up 'Iain Bate' in Google