VALIDATION OF TESTING RESULTS FOR VEHICLE CONTROL SOFTWARE
James Bret Michael, Andrew C. Segal, Satyajit Patwardhan · 1995
This article describes efforts at the California PATH to work with vehicle control software verification so that the effect of systems hazards, such as sensor failures, on vehicle system performance can be better understood.