This shows you the differences between two versions of the page.
courses:sdm2015:main [2015/12/23 12:10] tsay [Syllabus/Schedule (with links to slides/notes)] |
courses:sdm2015:main [2016/05/04 11:21] (current) tsay [Announcements] |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Announcements ===== | ===== Announcements ===== | ||
+ | * 02/14: Grade Report available; contact Yih-Kuen Tsay by 5PM 02/15 if you have any question or request. | ||
+ | * 12/30: slides for Automata-Based Model Checking available. | ||
* 12/23: slides for Logic and OCL available. | * 12/23: slides for Logic and OCL available. | ||
* 12/16: slides for the invited talk today available. | * 12/16: slides for the invited talk today available. |