| Title | Seminar On :Formal Verification of Real Time Systems |
| Speaker | Dr. Rashid Hadjidj, Qatar University, CSED |
| Organizer | Department of Computer Science & Engineering |
| Date | Monday, February 16, 2009 |
| Time | 11:00 AM |
| Location | Room I 111 , Corridor 9 , College of Engineering |




