CSCE 990: Real-Time Systems Fall 2007
|
This course addresses the issues of designing and validating real-time systems. We will short-change the important field of specifying and verifying timing constraints and assume correct timing constraints are given.