User Tools
courses:sdm2015:main
Differences
This shows you the differences between two versions of the page.
|
courses:sdm2015:main [2016/02/15 01:43] tsay [Announcements] |
courses:sdm2015:main [2016/05/04 11:21] (current) tsay [Announcements] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| - | * 02/14: {{courses:sdm2015:sdm2015grade.pdf|Grade Report}} available; contact Yih-Kuen Tsay by 5PM 02/15 if you have any question or request. | + | * 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/30: slides for Automata-Based Model Checking available. | ||
| * 12/23: slides for Logic and OCL available. | * 12/23: slides for Logic and OCL available. | ||
courses/sdm2015/main.1455471800.txt.gz · Last modified: 2016/02/15 01:43 by tsay
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
