Publications

Formal modeling and verification of SDN-OpenFlow

Informations générales

étatPublié
organisationsFaculté d'informatique, Research Center on Information Systems Engineering, Korea University, ETRI
AuteursKang, M., Kang, E., Hwang, D. Y., Kim, B. J., Nam, K. H., Shin, M. K., Choi, J. Y.
Nombre de pages2
Pages481-482
Date de publication9 sept. 2013

Informations sur la publication d'accueil

titreProceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013
Le numéro d'article6569764

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque