Modelling and Verification 2014/15

News

October 22nd, 2014: the course web site is now on-line

General Info

Teacher:

Luca Tesei

Lessons schedule:

Please check this document

Students reception hours:

Please check this link

Course Objectives

Please check this document

Course Contents

Please check this document

Study material

Please check the documents here

Exams

For exam dates, please enter ESSE3 with your UNICAM credentials.