Subjects : DEVS formalism
| Type | Year | Title | Cited | Download |
|---|---|---|---|---|
| Conference | 2021 | Formal Requirement Specification Method for Quality Assurance of Discrete Event Simulation Software Jang Sooyoung Asia Simulation Conference (AsiaSim) 2021, pp.195-200 | ||
| Conference | 2010 | Transaction-Level Modeling Simulation Methodology for Semiconductor Chip Design of Star-Mesh Network-on-Chip based on DEVS Formalism 송해상 대한전자공학회 종합 학술 대회 (하계) 2010, pp.1567-1570 |
| Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
|---|---|---|---|---|---|
| No search results. | |||||
| Type | Year | Research Project | Primary Investigator | Download |
|---|---|---|---|---|
| No search results. | ||||