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

  Main Menu
   Home
   Syllabus
   Assignments
   Grades
   Calendar
   Discussion Area
   Links
   Resources


Announcments

  1385-01-29 April 18, 2006 10:45 AM  
Lecture notes are available in Resources area.

  1385-01-29 April 18, 2006 10:45 AM  
See first presentation schedule in Resources area.

  1384-11-30 February 19, 2006 11:09 AM  
See course syllabus in Resources section.

Instructor:
Dr. Movaghar
(movaghar@sharif.edu)

3 Units
Sundays, Tuesdays, 15:00 to 16:30
Room: Study #2
















 This website is visited 6061 times since February 2006. Updated Monday 2015-04-06 11:51