BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Luxembourg
Collaborated with:
M.Kang E.E.Kang D.Hwang B.Kim K.Nam M.Shin
Talks about:
formal (1) verif (1) model (1) open (1) flow (1) sdn (1)

Person: Jin-Young Choi

DBLP DBLP: Choi:Jin=Young

Contributed to:

ICST 20132013

Wrote 1 papers:

ICST-2013-KangKHKNSC #formal method #modelling #verification
Formal Modeling and Verification of SDN-OpenFlow (MK, EYEK, DYH, BJK, KHN, MKS, JYC), pp. 481–482.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.