Seminar On :Formal Verification of Real Time Systems
Enlarge Font | Minimize Font | Bookmark and Share
Last modified: October 06, 2011 10:03:27.
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