Subjects : Requirement specifications
Type | Year | Title | Cited | Download |
---|---|---|---|---|
Journal | 2023 | Verification Method for Discrete Event Simulation based on Discrete Event System Formalism 장수영 International Journal of Industrial Engineering : Theory Applications and Practice, v.30, no.5, pp.1313-1327 | 3 | 원문 |
Conference | 2021 | Formal Requirement Specification Method for Quality Assurance of Discrete Event Simulation Software Jang Sooyoung Asia Simulation Conference (AsiaSim) 2021, pp.195-200 |
Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
---|---|---|---|---|---|
No search results. |
Type | Year | Research Project | Primary Investigator | Download |
---|---|---|---|---|
No search results. |