INVARIANTS EEN 417 Fall 2013. When is a Design of a System “Correct”? A design is correct when it meets its specification (requirements) in its operating.
Lecture 16: Electrical Engineering II EEN 112: Introduction to Electrical and Computer Engineering Professor Eric Rozier, 4/10/13.
INVARIANTS
