CISE Seminar: Georgios Fainekos, Arizona State University

"Temporal Logic Testing and Verification for Cyber-Physical Systems"
When	Tuesday, Jun 4, 2013 at 11:00am until 12:00pm on Tuesday, Jun 4, 2013
Where	110 Cummington Mall, Room 245
More Info	http://www.bu.edu/systems/june-4-2013-georgios-fainekos-arizona-state-university/