Login / Signup

基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition).

Daoxi ChenGuangquan ZhangChengkai XuGuobin 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