FORMAL METHODS FOR SYSTEM VERIFICATION

Academic year
2023/2024 Syllabus of previous years
Official course title
FORMAL METHODS FOR SYSTEM VERIFICATION
Course code
CM0474 (AF:451549 AR:245280)
Modality
On campus classes
ECTS credits
6
Degree level
Master's Degree Programme (DM270)
Educational sector code
INF/01
Period
1st Semester
Course year
1
Where
VENEZIA
Moodle
Go to Moodle page
Professors
Teaching equipment
Degree Programmes and Curricula
  • [CM90] COMPUTER SCIENCE AND INFORMATION TECHNOLOGY - Master's Degree Programme (DM270)
    percorso comune