Computer Science
| CS4805 | Embedded Systems (O) | 4 ch (3C 1T) |
|---|---|---|
This course will give an overview of the characteristics and design of embedded systems. Topics include formal models and specification languages for capturing embedded system behavior; techniques for specification, exploration and refinement; tools for validation, verification, and simulation; and quality and performance metrics. | ||
