1. 首页
  2. 网络技术
  3. 网管软件
  4. Formal verification of RealTime Wireless Sensor Networks protocols Scaling Up

Formal verification of RealTime Wireless Sensor Networks protocols Scaling Up

上传者: 2020-01-20 14:43:14上传 PDF文件 676KB 热度 26次
LargescaleadhocnetworkssuchasWirelessSensorNetworksaremoreandmoredeployedtoensurecriticalmissions(suchasforestfiredetection,intrusiondetection,etc).Criticalapplicationsrequiretimelinessandreliabilitybecausehu-manlivesmaydependonit.Inordertogivethestronge
用户评论