To verify robot software, look at manufacturing context

被引：0
|
作者：
Troxell, Wade O.
机构：
来源：
CIM Review | 1990年 / 6卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Software process to specify and verify reactive systems. Process and context generation
    de Diego, JR
    Tuya, J
    Riva, CDL
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT I, 2002, : 63 - 68
  • [2] A SOFTWARE SYSTEM FOR THE SIMULATION OF ROBOT BASED MANUFACTURING PROCESSES
    DILLMANN, R
    HUCK, M
    ROBOTERSYSTEME, 1985, 1 (02): : 87 - 98
  • [3] Software structure for a robot operated flexible manufacturing cell
    Weiss, Z
    Konieczny, R
    ROMOCO'02: PROCEEDINGS OF THE THIRD INTERNATIONAL WORKSHOP ON ROBOT MOTION AND CONTROL, 2002, : 269 - 274
  • [4] Tips to validate, verify software
    不详
    CONTROL ENGINEERING, 2006, 53 (05) : 30 - 30
  • [5] Software-defined Cloud Manufacturing in the Context of Industry 4.0
    Yang, Chen
    Lan, Shulin
    Shen, Weiming
    Huang, Gerorge Q.
    Wang, Lihui
    2019 WORLD ROBOT CONFERENCE SYMPOSIUM ON ADVANCED ROBOTICS AND AUTOMATION (WRC SARA 2019), 2019, : 184 - 190
  • [6] Social Analytics in an Enterprise Context: From Manufacturing to Software Development
    Arvanitakis, Evangelos
    Petychakis, Michael
    Biliri, Evmorfia
    Michalitsi-Psarrou, Ariadni
    Kokkinakos, Panagiotis
    Lampathaki, Fenareti
    Askounis, Dimitrios
    PROCEEDINGS OF 2016 11TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, (ARES 2016), 2016, : 827 - 833
  • [7] USING TERM REWRITING TO VERIFY SOFTWARE
    ANTOY, S
    GANNON, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (04) : 259 - 274
  • [8] A Framework to Formally Verify Conformance of a Software Process to a Software Method
    Khelladi, Djamel-Eddine
    Bendraou, Reda
    Baarir, Souheib
    Laurent, Yoann
    Gervais, Marie-Pierre
    30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1518 - 1525
  • [9] Robot Software Platform for IoT-Based Context-Awareness
    Cho, Yongseong
    Choi, Jongsun
    Choi, Jaeyoung
    Ryoo, Young-Jae
    INTERNATIONAL JOURNAL OF HUMANOID ROBOTICS, 2017, 14 (02)
  • [10] Augmented Reality interface to verify Robot Learning
    Diehl, Maximilian
    Plopski, Alexander
    Kato, Hirokazu
    Ramirez-Amaro, Karinne
    2020 29TH IEEE INTERNATIONAL CONFERENCE ON ROBOT AND HUMAN INTERACTIVE COMMUNICATION (RO-MAN), 2020, : 378 - 383
12345