ITI8610

Allikas: Kursused
Redaktsioon seisuga 31. august 2015, kell 08:08 kasutajalt Vain (arutelu | kaastöö)
Mine navigeerimisribale Mine otsikasti

Course code: ITI8610

Lecturer: prof. Jüri Vain
Contact: juri.vain ätt ttu.ee, ICT-418
Co-lecture: Maili Markvardt
Co-lecture: Aleksandr Lenin


Time and place

Lectures: Mondays 14:00, ICT-A1
Labs: Fidays 10:00, ICT-501

      • Maili Markvardt(maili.markvardt ätt ttu.ee) - Module I
      • Aleksandr Lenin (aleksandr.lenin ätt cyber.ee) - Module II
      • Jishu Guin (jishu.guin ätt ttu.ee) - Module III


News 2015


Lecture plan


Labs

//* Lab 1: Introduction to modelling in UPPAAL //** UPPAAL website


Exercises

Resources