Model Checking; Synthesis; Automata;
机译:验证逻辑综合算法和实现:软件验证中的案例研究
机译:纹理综合:一种新型方法,用于产生岩石材料异质多样性的数字模型及其CGM验证
机译:联盟公告逻辑的验证与策略综合
机译:STV算法的验证计算验证者的模块化综合
机译:基于优化的安全自主验证与综合
机译:常规强度调制放射疗法验证的实用指南:门剂量法的治疗前验证和体内剂量法的治疗验证
机译:人工基因合成的现代方法:寡核苷酸合成的方面,酶组装,序列验证和误差校正
机译:现场验证计划(水产处置):研究结果的综合:水生疏浚物处置预测方法的适用性和现场验证