Computer aided design; Computer program verification; Software tools; Real time; Systems analysis; Fault tolerant computing; Hybrid computers;
机译:基于STEP_NC的刀具选择系统的方法论。第1部分:根据ISO13399标准开发工具管理系统
机译:建立实时多代理系统:确保正时正确性的实践研究
机译:实时反应系统开发中的早期质量监控
机译:逐步开发可怕的正确演员系统
机译:利用同步相量数据开发电力系统输电网络实时电压稳定性监测工具。
机译:快速开发和部署简单的编码工具作为开发改进的门诊临床系统的垫脚石
机译:开发可能正确的编译器中的验证工具