최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기Electro Information Technology (EIT), 2016 IEEE International Conference on, 2016 May, 2016년, pp.0211 - 0216
He, Nannan (Department of Electrical and Computer Engineering Technology, Minnesota State University at Mankato, United States) , Oke, Victor (Department of Electrical and Computer Engineering Technology, Minnesota State University at Mankato, United States) , Allen, Gale (Department of Electrical and Computer Engineering Technology, Minnesota State University at Mankato, United States)
Programmable Logic Controllers (PLCs) have been widely applied in safety-critical industrial processes. Automated verification of PLC programs is a challenging task for control system engineers. A method of mutation-based verification of Simulink design models for verifying PLCs programs is proposed...
※ AI-Helper는 부적절한 답변을 할 수 있습니다.