Archive

Posts Tagged ‘safety critical systems’

When Formal Systems Kill: Computer Ethics and Formal Methods

February 24th, 2012 02:58 View Comments