This is an old revision of the document!

Modelling and Verification 2014/15

News

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

General Info

Teacher:

Lessons schedule:

Students reception hours:

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.