International Journal on Advanced Science, Engineering and Information Technology

Saharudin, Syahana Nur'Ain, Department of Software Engineering and Information System, University Putra Malaysia (UPM), Serdang, 43400, Malaysia, Malaysia

• Vol 12, No 6 (2022) - Articles
  Keep All Objectives Satisfied (KAOS) to Event-B Models Transformation
  Abstract  PDF