Erinevus lehekülje "ITI8610" redaktsioonide vahel

Allikas: Kursused
Mine navigeerimisribale Mine otsikasti
20. rida: 20. rida:
  
 
==Lecture plan==
 
==Lecture plan==
 +
* [[Media:ITI_8610_lecture_1.pdf|Lecture 1]]: Introduction to software assurance
  
* [[ITI_8610_lecture_1.pdf| Meedia: Lecture 1]]: Introduction to software assurance
 
  
 
==Labs==
 
==Labs==
//* Lab 1: Introduction to modelling in UPPAAL
+
* Lab 1:  
//** [http://www.uppaal.org/ UPPAAL website]
+
 
  
  

Redaktsioon: 31. august 2015, kell 08:22

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

  • Lecture 1: Introduction to software assurance


Labs

  • Lab 1:


Exercises

Resources