CISE Seminar: Jyotirmoy Deshmukh, Toyota

Starts:
3:00 pm on Friday, December 6, 2013
Ends:
4:00 pm on Friday, December 6, 2013
Location:
8 St. Mary’s Street, Room 211
URL:
http://www.bu.edu/systems/december-6-2013-jyotirmoy-deshmukh-toyota/
"How Can We Formally Reason About Industrial-Scale Control Systems?"