ETRI-Knowledge Sharing Plaform

KOREAN

BROWSE

Titles

Home Titles Articles
논문 검색
Type SCI
Year ~ Keyword

Detail

List
Journal Article Process Algebra Based Symbolic Verification Framework for Software-Defined Networking
Cited - time in scopus Share share facebook twitter linkedin kakaostory
Authors
Myung-Ki Shin, Hee Hwan Kwak, Jin-Young Choi, Miyoung Kang
Issue Date
2013-10
Citation
Telecommunications Review, v.23, no.5, pp.583-593
ISSN
1226-5586
Publisher
SK Telecom 중앙연구소
Language
English
Type
Journal Article
KSP Keywords
Software-Defined Networking(SDN), Symbolic verification, process algebra
Copyright Policy Privacy Policy

218 Gajeong-ro, Yuseong-gu, Daejeon, 34129, KOREA, Contact: sh.kim@etri.re.kr

2016 Electronics and Telecommunications Research Institute. All rights reserved.

Please refrain from automatic collection of e-mail addresses posted on this homepage.

제1유형