Login / Signup
基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition).
Daoxi Chen
Guangquan Zhang
Chengkai Xu
Guobin Chen
Published in:
计算机科学 (2015)
Keyphrases
</>
network protocols
hardware designs
model checking
smart grid
wireless mesh networks
data mining
data collection
computer simulation
real time
digital libraries
computational intelligence