Change verification method; Member cardinality; Time slot occupation technique; VCPS;
机译:更改实数的基数不变式而不更改基数或实数
机译:更改实数的基数不变式而不更改基数或实数
机译:验证参数化系统的基数和通用量词
机译:基于群集的VCPS中成员基数的有效更改验证
机译:可靠且节能的基于集群的无线传感器网络。
机译:钙调蛋白联合残基模型中构象变化的路径集成的高效且经过验证的模拟
机译:基于集群的车辆网络物理系统中成员基数的高效评估