LTL; Petri Nets; Prism; Spin; model-checking; population protocols; vector addition systems;
机译:验证人口方案的复杂性
机译:立即观察人口议定书的验证
机译:迈向验证分布式系统中活动特性的集成形式方法:应用于人口协议
机译:核实人口议定书指南
机译:病人协议的精确构建:计算机可解释指南的建模,仿真和分析。
机译:常规强度调制放射疗法验证的实用指南:门剂量法的治疗前验证和体内剂量法的治疗验证
机译:人口议定书核查准则
机译:气候变化减缓项目的监测,评估,报告和核查:讨论问题和方法以及对现有议定书和准则的审查