AUTOSAFE WORKSHOP: Design of High Assurance Automotive Control       |       Date: December 19, 2015       |       Venue: Gargi Auditorium, Vikramshila Complex, Indian Institute of Technology Kharagpur, INDIA 721302