机译:在高级综合环境中自动生成可重新编程的微代码控制器
机译:在高级综合环境中自动生成可重新编程的微代码控制器
机译:在实现到真正的柔性生产系统之前,对机器人单元进行虚拟调试。:机器人离线编程(OLP)的生成和PLC代码的验证。
机译:PLCTOOLS:可编程控制器的设计,正式验证和代码生成
机译:计算机辅助药物发现,第一部分:FRESH的设计,开发,验证和应用,一种新型的硅中高通量筛选程序第二部分:单羰基姜黄素类似物:介导抗癌特性的杂环多效性激酶抑制剂第三部分:第二代药物的开发NAMFIS软件程序
机译:自治车辆控制器路径的设计验证和比较
机译:通过图形程序设计,基于仿真的验证和自动代码生成实现无差错控制程序