Human-in-the-Loop Embedded Systems: Specification, Design, and Verification Seminar Speaker: Dr. Sanjit A. SeshiaOrganisers: Paritosh K PandyaTime: Thursday, 2 January 2014, 14:00 to 15:00 Venue: D-460 (D-Block Conference Room) Webpage: http://www.eecs.berkeley.edu/~sseshia/Abstract: Human interaction is central to many computing systems that require a high level of assurance. Read more about Human-in-the-Loop Embedded Systems: Specification, Design, and Verification
