Controller Synthesis for Discrete and Timed Systems Stavros Trypakis (joint work with Karine Altisen)
By Group: Ghassan Abdo Rayyashi Anas to’meh Supervised by Dr. Lo’ai Tawalbeh.
Real-time Scheduling Review Venkita Subramonian [email protected] Research Seminar on Software Systems February 2, 2004.