최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on, 2006 Nov., 2006년, pp.466 - 473
Schlich, B. (RWTH Aachen Univ., Aachen) , Kowalewski, S. (RWTH Aachen Univ., Aachen)
The paper presents details of a model checker for microcontroller-based embedded systems, called [mc] square. The purpose of the tool is to make model checking technology applicable in an embedded systems industry context. Consequently, it does not implement new theory but combines existing techniqu...
※ AI-Helper는 부적절한 답변을 할 수 있습니다.