최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기제어·자동화·시스템공학 논문지 = Journal of control, automation and systems engineering, v.2 no.1, 1996년, pp.53 - 59
정상헌 (포항공과대학교 공정산업의 지능자동화연구센터) , 이광순 (서강대학교 화학공학과) , 문일 (연세대학교 화학공학과)
An automatic verification method has been studied to determine the safety and operability of programmable logic controller (PLC) based systems. For the systematic and efficient verification, we have developed a conversion method from relay ladder logic (RLL) to the verification system description. R...
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.