Subjects : Formal specifications
| 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 | ||
| Journal | 2020 | A Formal and Quantifiable Log Analysis Framework for Test Driving of Autonomous Vehicles Sung Kyung Bok Sensors, v.20, no.5, pp.1-29 | 4 | 원문 |
| Conference | 2012 | Formal Specifications for Software-Defined Networking 강미영 International Conference on Future Internet Technologies (CFI) 2012, pp.51-51 |
| Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
|---|---|---|---|---|---|
| No search results. | |||||
| Type | Year | Research Project | Primary Investigator | Download |
|---|---|---|---|---|
| No search results. | ||||