최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보과학회논문지. Journal of KIISE. 시스템 및 이론, v.38 no.6, 2011년, pp.281 - 291
Safety-critical automotive electronic systems must satisfy hard real-time constraints for reliability and safety. AUTOSAR(AUTomotive Open System ARchitecture) standard supports timing extensions to express event timings, latency, and synchronization constraints. This paper provides timed automata te...
※ AI-Helper는 부적절한 답변을 할 수 있습니다.