Embedded Systems

4 ch (3C 1T) · Undergraduate

Learn the characteristics and design of embedded systems including formal models and specification languages for capturing embedded system behaviour; techniques for specification, exploration and refinement; tools for validation, verification, and simulation; and quality and performance metrics.