无线通信和移动计算
研究文章

正式验证关键系统硬件组件

列表12

实例证明使用二元属性
(1) 莱马 校验 : xy
(2) subexion(bexx)(bexy) subexion(bexy) (bexmx)
3级 prodex prodexm(bexy)(bexmx)