Jaafar, Nurrafidah, Faculty of Electrical Engineering, Universiti Teknikal Malaysia Melaka, Hang Tuah Jaya, Melaka, Malaysia.

• Vol 10, No 1-3: Moving Towards Industry 4.0 II - Articles
  Dependability Analysis of Logic Controller Based On Formal Verification Procedures
  Abstract  PDF