Erinevus lehekülje "ITI8610" redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
(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...') |
|||
| 3. rida: | 3. rida: | ||
'''Lecturer''': prof. Jüri Vain <br> | '''Lecturer''': prof. Jüri Vain <br> | ||
'''Contact''': juri.vain ätt ttu.ee, ICT-418 <br> | '''Contact''': juri.vain ätt ttu.ee, ICT-418 <br> | ||
| + | '''Co-lecture''': Maili Markvardt <br> | ||
| + | '''Co-lecture''': Aleksandr Lenin <br> | ||
| 8. rida: | 10. rida: | ||
Lectures: Mondays 14:00, ICT-A1 <br> | Lectures: Mondays 14:00, ICT-A1 <br> | ||
| − | Labs: Fidays 10:00, ICT-501 | + | Labs: Fidays 10:00, ICT-501 <br> |
| − | + | *** 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 | ||
| 16. rida: | 20. rida: | ||
==Lecture plan== | ==Lecture plan== | ||
| − | + | * [[Media:ITI0130_lecture1_2015.pdf|Lecture 1]]: Introduction to formal methods | |
Redaktsioon: 31. august 2015, kell 08:08
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
- Lecture 1: Introduction to formal methods
Labs
//* Lab 1: Introduction to modelling in UPPAAL //** UPPAAL website