CISE Seminar: Georgios Fainekos, Arizona State University

Starts:
11:00 am on Tuesday, June 4, 2013
Ends:
12:00 pm on Tuesday, June 4, 2013
Location:
110 Cummington Mall, Room 245
URL:
http://www.bu.edu/systems/june-4-2013-georgios-fainekos-arizona-state-university/
"Temporal Logic Testing and Verification for Cyber-Physical Systems"