您要查找的是不是:
- planning as model checking 基于模型检验的规划
- He represented the plan as practical. 他声称计划切实可行。
- MWB is a model checking tool based on PI-calculus. MWB是一个基于PI演算的模型检测工具。
- I have changed the plan as you suggest. 我已经根据你的建议改变了这一计划。
- He openly criticized the plan as impracticable. 他公开批评该计划不切实际。
- George gave up the plan as a bad job. 乔治放弃了这个没有成功希望的计划。
- Edelkamp S,Helmert M.The model checking integrated planning system.AI-Magazine (AIMAG),2001,67-71. 对动作进行置换的含义见第3节中的"定义3.;2";本节是从宏观上介绍本文内容的组织结构
- He represented the plan as safe,but it was not. 他声称该计划稳当,但事实却不然。
- They set up the plan as a racket . 他们设计了这个骗局。
- Same frame and cover as Model JSA-602 but without wheels and posts. 与JSA-602型的担架相同,但是没有杆和车轮组成。
- Change the project plan as needed. 根据需要更改项目计划。
- OLETF and LETO rats were used as model animals in our studies. 实验使用的动物为OLETF和LETO大鼠。
- They don't oppose the plan as such. 他们本身不反对这个计划。
- The remarkable fruits have been made: the improvements on Graphplan including CGP, SGP, the different class of universal plan via model checking. 在这方面已取得的重要成果有:基于图规划所做的一系列改进如CGP、SGP,基于模型检测方法生成各种通用规划等。
- Methods We took the hens lacerated tendons as model. 方法鸡趾屈肌腱横断修复、金箔包裹,不同时间取材。
- We must work out a plan as quickly as we can. 我们一定要尽快制定出计划。
- Methods:Lappaconitine hydrobromide (LH) was used as model drug. 方法:以氢溴酸高乌甲素为模型药物,制备适宜的片芯;
- He didn't oppose the plan as such. 就计划本身来说,他并不反对。
- He represented the plan as safe, but it was not. 他声称该计画稳当,但事实却不然。
- Evaluate control plan as required. 依据需要评估控制计划。