BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
open (1)
verif (1)
safer (1)
formal (1)
arbit (1)

Stem sdn$ (all stems)

3 papers:

GPCEGPCE-2015-LopezCRC #programming
Safer SDN programming through Arbiter (ML, CJC, GDR, CC), pp. 65–74.
POPLPOPL-2015-PadonIKLSS #policy
Decentralizing SDN Policies (OP, NI, AK, OL, MS, SS), pp. 663–676.
ICSTICST-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.