주제어 : model checking
구분 | 연도 | 논문 | 피인용 | 원문 |
---|---|---|---|---|
학술지 | 2017 | Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS 윤상현 IEICE Transactions on Information and Systems, v.E100.D no.10, pp.2644-2647 | 2 | 원문 |
구분 | 출원 | 특허 | 출원국 | 패밀리 | KIPRIS |
---|---|---|---|---|---|
검색결과가 없습니다. |
구분 | 연도 | 보고서 | 책임자 | 원문 |
---|---|---|---|---|
검색결과가 없습니다. |