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
"Temporal Logic Testing and Verification for Cyber-Physical Systems"
- Location:
- 110 Cummington Mall, Room 245
- Link:
- http://www.bu.edu/systems/june-4-2013-georgios-fainekos-arizona-state-university/