Automation; Computerized Control Systems; Computers; CONFIDES system; Control Equipment; Data Acquisition Systems; Design; EDB/420200; EDB/990200; Electric Cables; Electrical Equipment; Quality Assurance; Safety; Wiring;
机译:使用商业记录和验证系统进行容积调制电弧疗法治疗的远程自动每日交付验证的可行性
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译:具有创新的无人驾驶自动驾驶仪和“航母”地面漫游车配置的火星探索概念系统设计。第一部分:系统设计
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:使用商业记录和验证系统进行容积调制电弧疗法治疗的远程自动每日交付验证的可行性
机译:使用商业记录和验证系统,远程自动化每日交付验证的遥控器,自动调制的电弧治疗治疗方法
机译:自动公路系统的位置验证系统。