Spring 2018: 

• ECE 590 - Cyber-Physical Systems Design 

Fall 2017: 

• ECE 459 - Introduction to Embedded Systems

Spring 2017: 

• ECE 590 - Formal Methods for Cyber-Physical Systems 

Fall 2016: 

• ECE 459 - Introduction to Embedded Systems

Fall 2015: 

• ECE 590 - Cyber-Physical Systems Design