Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
teaching [2016/09/27 22:30] adminluca |
teaching [2017/03/31 00:10] (current) luca [Courses] |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| * Real-time and Probabilistic Systems Verification, 6 ECTS, second year, first semester, Master of Science in Computer Science, Unicam | * Real-time and Probabilistic Systems Verification, 6 ECTS, second year, first semester, Master of Science in Computer Science, Unicam | ||
| * Reactive Systems Verification, 6 ECTS, first year, second semester, Master of Science in Computer Science, Unicam | * Reactive Systems Verification, 6 ECTS, first year, second semester, Master of Science in Computer Science, Unicam | ||
| + | * IFTS Laboratorio web: [[teaching::ifts1617|pagina del corso]] | ||
| * A.Y. 2015/16 | * A.Y. 2015/16 | ||
| * ... | * ... | ||
| - | ==== Tesi/Theses ==== | + | ===== Tesi/Theses ===== |
| ... | ... | ||