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