Digital Library[ Search Result ]
Search : "[ author: Miyoung Kang ]" (1)
Process Algebra Based Formal Method for SDN Application Verification
Myung-Ki Shin Jong-Hwa Yi Yunchul Choi Jihyun Lee Seung-Ik Lee
Miyoung Kang Hee Hwan Kwak Jin-Young Choi
Vol. 39, No. 6, pp. 387-396, Jun. 2014
Miyoung Kang Hee Hwan Kwak Jin-Young Choi
Vol. 39, No. 6, pp. 387-396, Jun. 2014
Submenu
POPULAR KEYWORDS
(TOP 10 KEYWORDS)
Recent Publications
(LAST 3 YEARS)
-
Vol. 49, 2024
-
Vol. 48, 2023
- Vol. 48, No. 12 (Dec. 2023)
- Vol. 48, No. 11 (Nov. 2023)
- Vol. 48, No. 10 (Oct. 2023)
- Vol. 48, No. 9 (Sep. 2023)
- Vol. 48, No. 8 (Aug. 2023)
- Vol. 48, No. 7 (Jul. 2023)
- Vol. 48, No. 6 (Jun. 2023)
- Vol. 48, No. 5 (May. 2023)
- Vol. 48, No. 4 (Apr. 2023)
- Vol. 48, No. 3 (Mar. 2023)
- Vol. 48, No. 2 (Feb. 2023)
- Vol. 48, No. 1 (Jan. 2023)
-
Vol. 47, 2022
- Vol. 47, No. 12 (Dec. 2022)
- Vol. 47, No. 11 (Nov. 2022)
- Vol. 47, No. 10 (Oct. 2022)
- Vol. 47, No. 9 (Sep. 2022)
- Vol. 47, No. 8 (Aug. 2022)
- Vol. 47, No. 7 (Jul. 2022)
- Vol. 47, No. 6 (Jun. 2022)
- Vol. 47, No. 5 (May. 2022)
- Vol. 47, No. 4 (Apr. 2022)
- Vol. 47, No. 3 (Mar. 2022)
- Vol. 47, No. 2 (Feb. 2022)
- Vol. 47, No. 1 (Jan. 2022)
pISSN : 1226 - 4717
eISSN : 2287 - 3880