Course Catalog 2014-2015 Postgraduate Basic Pori International Postgraduate Open University |Degrees|     |Study blocks|     |Courses|

Course Catalog 2014-2015

MAT-74506 Model Checking and Petri Nets, 7 cr Model Checking and Petri Nets MAT-74506 2014-01

Lessons

Study type	P1	P2	P3	P4	Summer	Lecture times and places
Lectures Excercises	4 h/week  2 h/week	+4 h/week +2 h/week

Person responsible:

Antti Valmari

Target groups:

DI- ja arkkitehtiopiskelijat
Information Technology
International Students
Jatkotutkinto-opiskelijat
Teknis-luonnontieteellinen
Tietotekniikka

Assessment scale:

Numerical evaluation scale (1-5) will be used on the course