NetKAT 论文

2014引用 372
DOI
Software-Defined Networks and 5GSecurity and Verification in ComputingCloud Computing and Resource Management
网络安全Security and Verification in ComputingCloud Computing and Resource ManagementSoftware-Defined Networks and 5G
相关技术:Software-Defined Networks and 5G
关系图谱

NetKAT · 作者

D

David Walker

C

Cole Schlesinger

D

Dexter Kozen

J

Jean-Baptiste Jeannin

A

Arjun Guha

N

Nate Foster

C

Carolyn Jane Anderson