Subjects : model checking
| Type | Year | Title | Cited | Download |
|---|---|---|---|---|
| Journal | 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 | 원문 |
| Conference | 2012 | Case Study: Verification of ECML Models Using SpaceEx 조재연 Korea-Japan Joint Workshop on ICT 2012, pp.1-4 | ||
| Conference | 2009 | Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay 김문주 Workshop on Model Based Testing (MBT) 2009, pp.21-36 |
| Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
|---|---|---|---|---|---|
| No search results. | |||||
| Type | Year | Research Project | Primary Investigator | Download |
|---|---|---|---|---|
| No search results. | ||||