presevation of PLTL properties; B event systems; refinement development;
机译:保持跟踪集属性在楼梯上的保持一致性:以信息流属性和策略为例
机译:在逐步完善基于Petri网的合成中保留语言和属性
机译:基于规则的高级安全网保留安全属性
机译:优化保留PLTL属性
机译:细化纳米复合材料涂层和镁基材的表面性能,以提高抗降解性和骨细胞粘附性。
机译:评估糖尿病问卷的心理计量特性并改善健康和自我管理(HASMID)
机译:CSP-CASL的属性保留优化