Today's Lecture

I have posted the slides for the lecture material on model-based design (chapter 8 of the concurrency textbook).

Have a great Spring Break!

Kenneth M. Anderson, 2008.