COMPUTER AIDED DESIGN; END EFFECTORS; ROBOT DYNAMICS; TRANSFORMATIONS (MATHEMATICS); ALGORITHMS; ROBOTICS; ROTATION; TARGETS; TRANSLATIONAL MOTION;
机译:用于汽车嵌入式软件测试的模型自动测试用例
机译:自动生成模式语言验证程序的基于模型的框架
机译:用于自动发电控制的基于模型的攻击检测和缓解
机译:电机电磁场分析中任意相接区域的新型全自动有限元网格生成
机译:针对嵌入式系统和机器人应用的基于模型的设计,仿真和自动代码生成。
机译:从体细胞突变的亚克隆层次推断:从多区域下一代测序的癌症进化树的自动重建。
机译:一种基于自动模型的测试用例的新方法