15-424: Logical Foundations of Cyber-Physical Systems (Fa'21)

Table of Contents
  1. Final Project Schedule

Final Project Schedule

The Fall 2021 students of the CMU 15-424/624/824 Foundations of Cyber-Physical Systems course are competing in the CPS V&V Grand Prix with self-defined final course projects on CPS verification.