180405 ⎘
Program-control systems; Plc systems; Plc programming Correction of program using grammatical error detection
FRAMEWORK FOR RESULTS INTERPRETATION AND GUIDED REFINEMENT OF SPECIFICATIONS FOR PLC LOGIC VERIFICATION