Subjects : process algebra
| Type | Year | Title | Cited | Download |
|---|---|---|---|---|
| Journal | 2016 | A Verification Method of SDN Firewall Applications 강미영 IEICE Transactions on Communications, v.E99.B, no.7, pp.1408-1415 | 7 | 원문 |
| Journal | 2014 | Process Algebra based Formal Method for SDN Application Verification Shin Myung Ki 한국통신학회논문지 B : 네트워크 및 서비스, v.39B, no.6, pp.387-396 | 원문 | |
| Journal | 2013 | Process Algebra Based Symbolic Verification Framework for Software-Defined Networking Shin Myung Ki Telecommunications Review, v.23, no.5, pp.583-593 |
| Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
|---|---|---|---|---|---|
| No search results. | |||||
| Type | Year | Research Project | Primary Investigator | Download |
|---|---|---|---|---|
| No search results. | ||||