共 50 条
- [1] Modeling and Simulation of Robotic Arm in MATLAB for Industrial Applications 2019 11TH INTERNATIONAL CONFERENCE ON INTELLIGENT HUMAN-MACHINE SYSTEMS AND CYBERNETICS (IHMSC 2019), VOL 1, 2019, : 346 - 349
- [2] Modelling and Verifying Robotic Software that Uses Neural Networks THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 15 - 35
- [4] Utilizing 5G in Industrial Robotic Applications 2019 7TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD 2019), 2019, : 278 - 284
- [5] Verifying concurrent software using movers in CSPEC PROCEEDINGS OF THE 13TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2018, : 307 - 322
- [7] Using WITNESS™ Simulation Software as a validation tool for an industrial plant layout SELECTED TOPICS IN SYSTEM SCIENCE AND SIMULATION IN ENGINEERING, 2010, : 201 - +
- [8] Verifying Hypermedia Applications by Using an MDE Approach SYSTEM ANALYSIS AND MODELING: MODELS AND REUSABILITY, 2014, 8769 : 174 - +
- [9] A robotic finger mechanism for robust industrial applications INDUSTRIAL ROBOT-THE INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH AND APPLICATION, 2011, 38 (04): : 352 - 360
- [10] Simulation of Modular Robotic System MECABOT in Caterpillar and Snake Configurations Using Webots Software 2016 IEEE COLOMBIAN CONFERENCE ON ROBOTICS AND AUTOMATION (CCRA), 2016,