Differences

This shows you the differences between two versions of the page.

--- didattica:magistrale:svl:ay_1920:main [2020/03/11 15:30]
luca [Lectures]
+++ didattica:magistrale:svl:ay_1920:main [2020/09/17 16:55] (current)
@@ Line 61: / Line 61: @@
   - 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 =====
@@ Line 108: / Line 108: @@
   * {{ :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:linear_time_properties._regular_safety_properties.pdf |Regular Safety Properties}}
   * {{ :didattica:magistrale:svl:ay_1920:7_-_linear_time_properties._fairness.pdf |Fairness}}
@@ Line 165: / Line 166: @@
 ===== Project =====
 <WRAP box round center 95%>
-  - TBD
+  - The text of the project can be found in the Google Classroom platform.
 </WRAP>