Computational Verification of Network Programs for Several OpenFlow Switches in Coq

Computational Verification of Network Programs for Several OpenFlow Switches in Coq
复制标题

Coq 中几种 OpenFlow 交换机的网络程序的计算验证

DOI：
--
复制
发表时间：
2016
期刊：
Lecture Notes in Computer Science
影响因子：
--
通讯作者：
Noriaki Yoshiura
Noriaki Yoshiura
中科院分区：
--
文献类型：
--
作者：
Hiroaki Date;Noriaki Yoshiura

文献摘要

相似文献