Join us TODAY for a seminar with presenter, Zhihao Jiang from 1:30-2:30PM in the Rowe Center for Undergraduate Education (ROWE) in room 318. This presentation is entitled as: From Verified Model to Verified Code for Medical Cyber-Physical Systems. Food and Refreshments will be provided.
For more information, contact: UTC-IASE at utc-iase@engr.uconn.edu