Faranak Nejati, Dr. Jaber Karimpour,, Iran, Islamic Republic of

• International Journal of Advanced Research in Computer Science Vol. 4 No. 8 (2013): May-June 2013 - Articles
  A Formalism for Checking Consistency of Component-Based Real-Time Systems
  Abstract  PDF