CSE 522 Model-based Development (2) Some of the slides were based on lectures by Lee & Seshia (UC Berkeley) and Fainekos (ASU) Computer Science & Engineering.
CSE 522 Model-based Development (2)