- 15-424 Foundations of Cyber-Physical Systems
15-624 Foundations of Cyber-Physical Systems
|Instructor: ||André Platzer
(office: Mon 4:20-5:30, GHC 9103)
(office: Tue 4:30-5:30 9th floor kitchenette
Fri 3:00-3:30, 4:20-5:00, GHC 4102)
|Semester: ||Fall 2013
|Time: ||MW 3-4:20
|Place: ||GHC 4102
|Recitation: ||F 3:30, GHC 4102
| ||This course is listed in the Computer Science Department as 15-424/15-624 at Carnegie Mellon University.
It counts as a Logics/Languages elective in the Computer Science curriculum.