To verify robot software, look at manufacturing context

被引：0
|
作者：
Troxell, Wade O.
机构：
来源：
CIM Review | 1990年 / 6卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] To Verify Embedded System Software Integrity with TCM and FPGA
    Huang, Huaqiang
    Hu, Chen
    He, Jianhua
    PROCEEDINGS 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, (ICCSIT 2010), VOL 1, 2010, : 65 - 70
  • [22] Making software timing properties easier to inspect and verify
    Xu, J
    IEEE SOFTWARE, 2003, 20 (04) : 34 - +
  • [23] Engineering Approaches and Methods to Verify Software in Autonomous Systems
    Cicala, G.
    Khalili, A.
    Metta, G.
    Natale, L.
    Pathak, S.
    Pulina, L.
    Tacchella, A.
    INTELLIGENT AUTONOMOUS SYSTEMS 13, 2016, 302 : 1683 - 1700
  • [24] Software manufacturing
    Schatz, E.
    Wauters, J.
    Electrical communication, 1989, 63 (02): : 168 - 175
  • [25] Application of Industrial Robot and Internet of Things in Intelligent Manufacturing System Supported by Software and Hardware
    Xu, Xiaoqing
    Liang, Xiaowei
    Guo, Zhihao
    2022 IEEE INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, BIG DATA AND ALGORITHMS (EEBDA), 2022, : 415 - 418
  • [26] MANUFACTURING SOFTWARE
    Waurzyniak, Patrick
    MANUFACTURING ENGINEERING, 2018, 160 (06): : 54 - +
  • [27] A robot simulator for manufacturing tasks on a component-based software development and execution framework
    Tokunaga, H
    Matsuki, N
    Sawada, H
    Okano, T
    Furukawa, Y
    ISATP 2005: IEEE International Symposium on Assembly and Task Planning (ISATP), 2005, : 162 - 167
  • [28] ECAPNVer: A Software Tool to Verify Active Rule Bases
    Chavarria-Baez, Lorena
    Li, Xiaoou
    22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 2, 2010, : 138 - 141
  • [29] MANUFACTURING SOFTWARE
    不详
    WERKSTATTSTECHNIK ZEITSCHRIFT FUR INDUSTRIELLE FERTIGUNG, 1990, 80 (03): : 122 - 123
  • [30] SOFTWARE MANUFACTURING
    SCHATZ, E
    WAUTERS, J
    ELECTRICAL COMMUNICATION, 1989, 63 (02): : 168 - 175
12345