최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기Automated Software Engineering (ASE), 2019 34th IEEE/ACM International Conference on, 2019 Nov, 2019년, pp.565 - 576
Kim, Dongwoo (Kyungpook National University) , Choi, Yunja (Kyungpook National University)
Verification of multitasking embedded software requires taking into account its underlying operating system w.r.t. its scheduling policy and handling of task priorities in order to achieve a higher degree of accuracy. However, such comprehensive verification of multitasking embedded software togethe...
※ AI-Helper는 부적절한 답변을 할 수 있습니다.