ITI8610

Allikas: Kursused

Redaktsioon seisuga 31. august 2015, kell 08:20 kasutajalt Vain (arutelu | kaastöö) (→‎Lecture plan)

(erin) ←Vanem redaktsioon | Viimane redaktsiooni (erin) | Uuem redaktsioon→ (erin)

Mine navigeerimisribale Mine otsikasti

Course code: ITI8610

Lecturer: prof. Jüri Vain
Contact: juri.vain ätt ttu.ee, ICT-418
Co-lecturer: Maili Markvardt
Co-lecturer: 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

[[ITI_8610_lecture_1.pdf| Meedia: Lecture 1: Introduction to software assurance

Labs

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

Exercises

Resources

Pärit leheküljelt "http://courses.cs.taltech.ee/w/index.php?title=ITI8610&oldid=2718"