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
Users
Username
Password
Online members:
0
Last login:
esfahani
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
6324
times since February 2006.
Updated Tuesday 2006-04-18 10:45
This website is generated automatically by
CE Coursesite Generator
which is produced by
Yasser Ganji Saffar and is under
GNU GPL version 2.0