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

  1398-02-22 May 12, 2019 06:16 PM  
Dear All,

Deadline of the second assignment has been extended to 31st Ordibehesht.

Good Luck

  1398-02-21 May 11, 2019 07:19 PM  
Dear All,

Grades of the mid-term exam is available in Grades.

Good Luck

  1398-02-10 April 30, 2019 07:33 AM  
Dear students,

The first assignment deadline is extended until 17th of Ordibehesht.

  1398-02-07 April 27, 2019 12:22 PM  
Dear students,

The second assignment is uploaded. You can find it in the Assignments section. (Due Date: 27 Ordibehesht)

  1398-01-25 April 14, 2019 09:14 AM  
Dear students,

Information about FSEN 2019 is available in the Resources section.

  1398-01-21 April 10, 2019 05:34 PM  
Dear students,

The first assignment is uploaded. You can find it in the Assignments section. (Due Date: 5 Ordibehesht)

  1397-12-13 March 04, 2019 08:25 AM  
Dear Students,

Midterm Exam will be held on 10th of Ordibehesht, 1398, i.e., 1398/02/10.  The exam time is 9:00 - 10:30 at Room 204.

Good luck!

Instructor:
Ali Movaghar
(movaghar@sharif.edu)

3 Units
Sundays & Tuesdays 9:00 - 10:30

 This website is visited 1452 times since January 2019. Updated Sunday 2019-05-12 18:16