Formal Specification and Verification for Group Communication Algorithm Suiting Extended Virtual Sy

 
  • 支持扩展虚拟同步的组通信算法形式描述与验证
今日热词
目录 附录 查词历史