Keeping Bugs out of Software for Self-Driving Cars: Analysis Verifies Safety of Distributed Car Control System

Iskandar Blogger 7:29 PM
http://www.sciencedaily.com/releases/2011/06/110621093313.htm