On-line Model Checking; UPPAAL; Transformation Reduction;
机译:将功能框图转换为UPPAAL定时自动机以验证安全应用
机译:建筑物,社区和地区达到CO_2减排目标的最佳转型策略
机译:使用合金验证基于图的模型转换
机译:基于图形的转换减少以更快地达到UPPAAL状态
机译:将关系数据库域转换为基于图的域以进行基于图的数据挖掘。
机译:快速染料盐提供了在多步一锅串联的氮甲醛合成液中快速进入
机译:基于图的马尔可夫可达性约简的复杂性 决策过程
机译:实施支持陆军转型政策部的物流服务,包括对前瞻性外科团队单位组合管理的审查