| Both sides previous revision Previous revision Next revision | Previous revisionLast revisionBoth sides next revision |
| didattica:ay2122:englishb2:main [2022/03/02 12:22] – [Material] luca | didattica:ay2122:englishb2:main [2022/03/02 12:23] – [Exams] luca |
|---|
| * [[https://sourceforge.net/projects/redlib/|RED Model Checker]] | * [[https://sourceforge.net/projects/redlib/|RED Model Checker]] |
| |
| === Slides, Codes and Exercises | ==== Slides, Codes and Exercises ==== |
| |
| All this material is accessible through the **Google Classroom** platform: [[https://classroom.google.com/c/NDU5OTY0NjM2MTE2?cjc=6meqjg2]] (login with @studenti.unicam.it credentials) | All this material is accessible through the **Google Classroom** platform: [[https://classroom.google.com/c/NDU5OTY0NjM2MTE2?cjc=6meqjg2]] (login with @studenti.unicam.it credentials) |
| **Exam Dates A.Y. 2021/2022** | **Exam Dates A.Y. 2021/2022** |
| |
| Dates of Partial Exams "SVL2122 Sess. XXX - Project Delivery" and "SVL2021 Sess. XXX - Written Test" can be found in the [[https://didattica.unicam.it|ESSE3 Career System]] after login. | Dates of Partial Exams "SVL2122 Sess. XXX - Project Delivery" and "SVL2122 Sess. XXX - Written Test" can be found in the [[https://didattica.unicam.it|ESSE3 Career System]] after login. |
| |
| **Exam rules** | **Exam rules** |