Subjects : Formal methods
| Type | Year | Title | Cited | Download |
|---|---|---|---|---|
| Conference | 2025 | TLSVerifier: An Automated TLS software Verification Tool Using Model-Based Testing Lim Jae Deok International Symposium on Mobile Internet Security (MobiSec) 2025, pp.1-3 | ||
| Conference | 2015 | Verification for NFV-enabled Network Services Shin Myung Ki International Conference on Information and Communication Technology Convergence (ICTC) 2015, pp.810-815 | ||
| Conference | 2014 | A Calculus for Transportation Systems 이문근 Computer Software and Applications Conference Workshops (COMPSACW) 2014, pp.722-727 | 0 | 원문 |
| Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
|---|---|---|---|---|---|
| No search results. | |||||
| Type | Year | Research Project | Primary Investigator | Download |
|---|---|---|---|---|
| No search results. | ||||