Lecture 13: Broader Engineering Perspectives EEN 112: Introduction to Electrical and Computer Engineering Professor Eric Rozier, 4/8/13.
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.
INVARIANTS
Lecture 13: Broader Engineering Perspectives