Method For Verifying Safety Of Computer-controlled Devices Developed
Thursday, April 23, 2009 - 10:28
in Physics & Chemistry
Researchers have developed a new method for systematically identifying bugs in aircraft collision avoidance systems, high-speed train controls and other complex, computer-controlled devices, collectively known as cyber-physical systems.