University of Parma / National Highway Traffic Safety Administration / Applied Formal Methods Laboratory Department of Mathematics / NASA Engineering and Safety Center / DOJ / /
Person
Roberto Bagnara / Seth Wenig / Barbara Schwarz / SEAN MURPHY / Philip Koopman / Michael Barr / Jean Bookout / /
Position
driver / vehicle driver / /
Product
Tacoma / Impact / vehicles / Camry / Toyota Prius / /