登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
A (Not) NICE Way to Verify the OpenFlow Switch Specification Formal Modelling of the OpenFlow Switch Using Alloy
作者:Ruchansky Natali
*
; Proserpio Davide
来源:
Computer Communication Review
, 2013, 43(4): 527-528.
DOI:10.1145/2534169.2491711
OpenFlow Switch
Alloy
出版日期
2013-10
全文
全文
访问全文
相似论文
引用论文
参考文献