Subjects : TIMES model
| 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 | 원문 |
| Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
|---|---|---|---|---|---|
| No search results. | |||||
| Type | Year | Research Project | Primary Investigator | Download |
|---|---|---|---|---|
| No search results. | ||||