최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on, v.2, 2015년, pp.29 - 38
Yongbae Park (CS Dept., KAIST, Daejeon, South Korea) , Shin Hong (CS Dept., KAIST, Daejeon, South Korea) , Moonzoo Kim (CS Dept., KAIST, Daejeon, South Korea) , Dongju Lee (LG Electron., Seoul, South Korea) , Junhee Cho (LG Electron., Seoul, South Korea)
Most home appliance devices such as electric ovens are reactive systems which repeat receiving a user input/event through an event handler, updating their internal state based on the input, and generating outputs. A challenge to test a reactive program is to check if the program correctly reacts to ...
※ AI-Helper는 부적절한 답변을 할 수 있습니다.