Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:svl:ay_1920:main [2020/03/08 12:14] luca [News] |
didattica:magistrale:svl:ay_1920:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 56: | Line 56: | ||
| The links to the recordings of lectures together with other material (besides the slides given in section Material below) will be given through the Google Classroom platform. To join the course, access Google Classroom with the Unicam credentials (@studenti.unicam.it) and subscribe to the course with code: **2zjhwud** | The links to the recordings of lectures together with other material (besides the slides given in section Material below) will be given through the Google Classroom platform. To join the course, access Google Classroom with the Unicam credentials (@studenti.unicam.it) and subscribe to the course with code: **2zjhwud** | ||
| </WRAP> | </WRAP> | ||
| + | |||
| + | * The following links are just for the first lectures. All links will be provided inside the Google Classroom platform. Please, register to the Google Classroom course using your unicam credentials as soon as possible. | ||
| + | |||
| + | - Lecture of 09/03/2020 [[https://unicam.webex.com/unicam/ldr.php?RCID=6e79c664e808425dbb0a0d84d86d5b1a|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=e85388cbee6b41adb3d3042da6450701|Download the Lecture]] | ||
| + | - Lecture of 11/03/2020 [[https://unicam.webex.com/unicam/ldr.php?RCID=ea94c00b35024a018ba2d4e423ebe3f8|Watch the Lecture]], [[https://unicam.webex.com/unicam/lsr.php?RCID=f6dadd53d69f4615b151f918d6c2a016|Download the Lecture]], {{ :didattica:magistrale:svl:ay_1920:svl1920-11-03-2020-uppaal-code.zip |UPPAAL Code}} | ||
| + | - the subsequent lectures are available only by accessing to the Google Classroom course (see instructions above) | ||
| ---- | ---- | ||
| ===== Material ===== | ===== Material ===== | ||
| Line 102: | Line 108: | ||
| * {{ :didattica:magistrale:svl:ay_1920:5_-_linear_time_properties._liveness_properties.pdf |Liveness Properties}} | * {{ :didattica:magistrale:svl:ay_1920:5_-_linear_time_properties._liveness_properties.pdf |Liveness Properties}} | ||
| * {{ :didattica:magistrale:svl:ay_1920:6_-_linear_time_properties._decomposition_theorem.pdf |Decomposition Theorem}} | * {{ :didattica:magistrale:svl:ay_1920:6_-_linear_time_properties._decomposition_theorem.pdf |Decomposition Theorem}} | ||
| + | * {{ :didattica:magistrale:svl:ay_1920:linear_time_properties._regular_safety_properties.pdf |Regular Safety Properties}} | ||
| * {{ :didattica:magistrale:svl:ay_1920:7_-_linear_time_properties._fairness.pdf |Fairness}} | * {{ :didattica:magistrale:svl:ay_1920:7_-_linear_time_properties._fairness.pdf |Fairness}} | ||
| Line 159: | Line 166: | ||
| ===== Project ===== | ===== Project ===== | ||
| <WRAP box round center 95%> | <WRAP box round center 95%> | ||
| - | - TBD | + | - The text of the project can be found in the Google Classroom platform. |
| </WRAP> | </WRAP> | ||
