To verify robot software, look at manufacturing context

被引：0
|
作者：
Troxell, Wade O.
机构：
来源：
CIM Review | 1990年 / 6卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Software manufacturing
    Wild, F
    DR DOBBS JOURNAL, 2004, 29 (04): : 50 - +
  • [32] SOFTWARE MANUFACTURING
    EWERS, JE
    JOURNAL OF SYSTEMS MANAGEMENT, 1980, 31 (11): : 40 - 41
  • [33] SOFTWARE IN MANUFACTURING
    GEHNER, KR
    WESTERN ELECTRIC ENGINEER, 1981, 25 (01): : 108 - 115
  • [34] Hard look at software
    Boyd, RR
    IEEE SPECTRUM, 1999, 36 (07) : 8 - 8
  • [35] LOOK AT SOFTWARE MAINTENANCE
    LIU, CC
    DATAMATION, 1976, 22 (11): : 51 - 55
  • [36] Reviewing human-robot collaboration in manufacturing: Opportunities and challenges in the context of industry 5.0
    Dhanda, Mandeep
    Rogers, Benedict Alexander
    Hall, Stephanie
    Dekoninck, Elies
    Dhokia, Vimal
    ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 2025, 93
  • [37] A formal approach to verify mapping relation in a software product line
    Satyananda, Tonny Kurniadi
    Lee, Danhyung
    Kang, Sungwon
    2007 CIT: 7TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 934 - 939
  • [38] How to verify software product quality in user's view
    Kim, N
    Shin, S
    Cho, I
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 638 - 643
  • [39] Combining Tactics, Normalization, and SMT Solving to Verify Systems Software
    Hawblitzel, Chris
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (307): : 3 - 5
  • [40] Combination of Model Checking and Theorem Proving to Verify Embedded Software
    XIAO Jian-yu
    2. Institute of Laser and Information
    The Journal of China Universities of Posts and Telecommunications, 2005, (04) : 80 - 84
12345