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

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1393-06-08 August 30, 2014 06:34 PM  
Dear Students,

Transcript of the course has been uploaded in "Grades" menu. If you have any problem with your grades, you can see Prof. Movaghar on Monday (10th Shahrivar, 1393) at 14:00 to 16:00 PM in his office.

Good Luck.

  1393-05-04 July 26, 2014 09:17 AM  
Dear Students,

Please be informed that the deadline for paper submission is 15 Mordad.

  1393-01-30 April 19, 2014 11:24 AM  
Dear Students,

Please be informed that  TA session will be held on Wednesday,93/2/3, time 15-17, at room 202

  1393-01-25 April 14, 2014 09:43 PM  
Find more information and resources about NuSMV in Resources section

  1393-01-25 April 14, 2014 08:09 PM  
Dear Students,
Series 1 of the assignments uploaded.
Go to the Assignments section for more information.

  1392-12-20 March 11, 2014 12:21 PM  
Dear Students

Please send your papers & presentations to mesmaili@ce.sharif.edu.

Instructor:
Ali Movaghar
(movaghar@sharif.edu)

3 Units
Saturday & Monday 1:30 - 3:00
Room: 006

 This website is visited 3277 times since February 2014. Updated Tuesday 2015-04-07 12:02