已收录 268921 条政策
分类导航
检索结果
已选条件:
systems
<符合条件的数据共：4条>
排序方式
登录后可批量下载(统一登录，激活码登录)
  • Standby redundant control using Erlang/OTP and JADE for a manufacturing cell.
    颁布单位：[Stellenbosch University] |  颁布时间：2019 |  实施时间：2019 |  学科分类：[["ERLANG, (Computer, program, language)",, "Electronic, commerce, --, Computer, programme",, "Intelligent, agents, (Computer, software)",, "Computational, intelligence",, "Artificial, intelligence",, "Robotics",, "Manufacturing, processes, --, Automation",, "Computer, integrated, manufacturing, systems",, "Expert, systems, (Computer, science)",, "Manufacturing, processes, --, Automation",, "UCTD"]]
    预览  |  原文链接    [浏览：6 下载：6]
  • LF : a language for reliable embedded systems
    颁布单位：[Stellenbosch University] |  颁布时间：2001 |  实施时间：2001 |  学科分类：[["Programming, languages, (Electronic, computers)",, "Embedded, computer, systems",, "Operating, systems, (Computers)",, "Dissertations, --, Computer, science",, "Joyce, (Computer, programming, language)"]]
    预览  |  原文链接    [浏览：3 下载：0]
  • A real-time expert system shell for process control.
    颁布单位：[University of the Witwatersrand] |  颁布时间：1990 |  实施时间：1990 |  学科分类：[["Expert, systems, (Computer, science)",, "Process, control, --, Computer, programs.",, "Real-time, data, processing.",, "Real-time, control."]]
    预览  |  原文链接    [浏览：0 下载：0]
  • Verifying communication protocols in MIZAR-2
    颁布单位：[University of Alberta] |  颁布时间：1989 |  实施时间：1989 |  学科分类：[Data, transmission, systems, MIZAR-2, (Computer, language), Computer, network, protocols]
    预览  |  原文链接    [浏览：4 下载：0]