ECE 6640 - Model-Based Systems Engineering

Credits: (3)
Typically Taught Spring Semester: Full Sem
Description: This course is an introduction to the use of formal models to describe complex electrical systems. Topics include modeling tools, design, verification and testing of model-based systems, model validation and verification, and the use of state-machines in models.
Pre-requisite(s): ECE 3610.