搜索结果: 1-1 共查到“计算机科学技术 Model Checking Large”相关记录1条 . 查询时间(0.082 秒)
Model Checking Large Network Protocol Implementations
Model Checking Large Network Protocol Implementations
2015/8/7
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks. However, network pro...