Verification of Reactive Systems 40-665 
  CE Department- Sharif University of Technology Spring 91-92 - Group 1 

  Main Menu
   Discussion Area


  1392-05-16 August 07, 2013 08:54 AM  
Dear students,

Here's the schedule for delivering your research project:

By Shahrivar 8th, you should send the pdf file of your research report.
By Shaharivar 13th, you should deliver the hard copy of your report.
The day dedicated for your presentation is Shahrivar 17th. The exact time and venue of the session will be announced later.

  1392-03-09 May 30, 2013 03:17 PM  
Dear students,

Please see Folder "Sample Exams"  in Menu "Resources" for some sample questions about the final exam.

  1392-02-26 May 16, 2013 09:26 AM  
Series 2 of the assignments uploaded.
For more information, see the assignments and resources sections.

  1392-02-03 April 23, 2013 10:51 AM  
Dear all students,
The first assignment of verification was extended for one week again.
so you can submit your assignment until Ordibehesht 10th.

With regards.

  1392-01-26 April 15, 2013 01:20 PM  
The deadline for the first series of verification assignment has been extended for one week to Ordibehesht 3rd.

  1392-01-24 April 13, 2013 03:24 PM  
The documents of the system model presentations have been uploaded to the course page (see the resources section).

  1391-12-19 March 09, 2013 02:20 PM  
Series 1 of the assignments uploaded.
Go to the Assignments section for more information.
Also visit the Resources section for more resources concerning the assignment (in the assignment_resources folder).

  1391-12-19 March 09, 2013 11:55 AM  
Dear students,
Please email the document for the system model that you presented in class (and maybe your powerpoint file if you find appropriate) to the address v.reactivesystems (gmail).
These files will be available in the course page for other students.

Ali Movaghar

3 Units
Sunday & Tuesday 1:30 - 3:00
Room: 006

 This website is visited 6367 times since February 2013. Updated Monday 2020-09-07 09:24