ITI8610

Allikas: Kursused
Redaktsioon seisuga 31. august 2015, kell 07:57 kasutajalt Vain (arutelu | kaastöö) (Uus lehekülg: ''''Course code''': ITI8610 <br> '''Lecturer''': prof. Jüri Vain <br> '''Contact''': juri.vain ätt ttu.ee, ICT-418 <br> ==Time and place== Lectures: Mondays 14:00, ICT-A1 <b...')
(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


Time and place

Lectures: Mondays 14:00, ICT-A1
Labs: Fidays 10:00, ICT-501 - Maili Markvardt(maili.markvardt ätt ttu.ee) - Module I


News 2015


Lecture plan

//* Lecture 1: Introduction to formal methods


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=2713"