Bakr, Ahmed Mohamed, Shoubra Faculty of Engineering, Benha University, Egypt

• Computer Science Vol. 22 No. 1 - Articles
  A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems
  Abstract  PDF