共 50 条
- [21] Interface-based protocol specification of open systems using PSL ECOOP '95 - OBJECT-ORIENTED PROGRAMMING, 1995, 952 : 374 - 398
- [22] Message based redundancy approach using totem protocol for telecom applications and protocol stacks 2007 2ND INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS SOFTWARE & MIDDLEWARE, VOLS 1 AND 2, 2007, : 530 - +
- [23] Specification of an integrated circuit card protocol application using the B method and linear temporal logic B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 273 - 292
- [24] INTEGRATED SENSORS TO AN ASSEMBLY ROBOT USING A DISTRIBUTED CONTROL NETWORK MICROPROCESSING AND MICROPROGRAMMING, 1987, 21 (1-5): : 427 - 431
- [25] Message-Based Evaluation in Scheme for High-Level Robot Control Journal of Intelligent and Robotic Systems, 1999, 25 : 109 - 119
- [27] Object Manipulation for a Humanoid Robot Based on an Integrated Control Strategy INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2009, 12 (02): : 311 - 324
- [28] Securing Modbus Transactions Using Hash-Based Message Authentication Codes and Stream Transmission Control Protocol 2013 THIRD INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND INFORMATION TECHNOLOGY (ICCIT), 2013, : 179 - 184
- [29] Specification of a Multi-agent Robot-Based Reconfigurable Fixture Control System ROBOT MOTION AND CONTROL 2011, 2012, 422 : 171 - 182
- [30] Open Platform Based Mobile Robot Control for Automation in Manufacturing Logistics IFAC PAPERSONLINE, 2019, 52 (22): : 95 - 100