MAT-74506 Model Checking and Petri Nets, 7 cr

Toteutuskerta MAT-74506 2016-01

Opetus

Periodi	1 - 2
Opetusmuodot	Monimuoto-opetus, Tentti
Vastuuhenkilö	Antti Valmari

Arvosteluasteikko

Numerical evaluation scale (0-5)

Suoritusvaatimukset

If the number of students is small, the course is passed by solving many enough weekly exercise problems. Otherwise there will be an examination.

Kohderyhmät

DI- ja arkkitehtiopiskelijat , Information Technology , International Students , Jatkotutkinto-opiskelijat , Science and Engineering, MSc (Tech) , Teknis-luonnontieteellinen , Tietotekniikka


Exam	Thu 22.12.2016	09:00 - 12:00
Exam	Thu 16.02.2017	17:00 - 20:00
Exam	Wed 05.04.2017	17:00 - 20:00


MAT-74506 Model Checking and Petri Nets/O/01	Tue 30.08.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 01.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 02.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 06.09.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 08.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 09.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 13.09.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 15.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 16.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 20.09.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 22.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 23.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 27.09.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 29.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 30.09.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 04.10.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 06.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 07.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 11.10.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 13.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 14.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 25.10.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 27.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 28.10.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 01.11.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 03.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 04.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 08.11.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 10.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 11.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 15.11.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 17.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 18.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 22.11.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 24.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 25.11.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/01	Tue 29.11.2016	12:00 - 14:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 01.12.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 02.12.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/02	Thu 08.12.2016	10:00 - 12:00
MAT-74506 Model Checking and Petri Nets/O/03	Fri 09.12.2016	10:00 - 12:00

Oppimateriaali

Tyyppi	Nimi	Tekijä	ISBN	Lisätiedot	Kieli	Tenttimateriaali
Lecture slides		Antti Valmari			English	Yes
Other literature	Scientific papers in the field			Will be delivered to the students.	English	No