MAT-74506 Model Checking and Petri Nets, 7 cr
Toteutuskerta MAT-74506 2017-01
| Periodi | Ei toteuteta lukuvuonna 2017-2018. |
| Opetusmuodot | |
| 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
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 |