Awang Noor Indra Wardana

• Development of Automatic Program Verification for Continuous Function Chart Based on Model Checking