共 50 条
- [2] REAL-TIME PATHFINDING IN MULTIROBOT SYSTEMS INCLUDING OBSTACLE AVOIDANCE [J]. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 1988, 7 (01): : 42 - 70
- [3] Symbolic simulation of real-time concurrent systems [J]. REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 595 - 617
- [4] DEADLOCK PREVENTION IN CONCURRENT REAL-TIME SYSTEMS [J]. REAL-TIME SYSTEMS, 1993, 5 (04) : 305 - 318
- [5] A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2019, 49 (12): : 2636 - 2650
- [6] Specification and simulation of a concurrent real-time system [J]. INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 197 - 204
- [8] Timing coverification of concurrent embedded real-time systems [J]. PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (CODES'99), 1999, : 110 - 114
- [9] Timing coverification of concurrent embedded real-time systems [J]. Hardware/Software Codesign - Proceedings of the International Workshop, 1999, : 110 - 114
- [10] Flow analysis for concurrent, reactive, real-time systems [J]. IEEE HIGH-ASSURANCE SYSTEMS ENGINEERING WORKSHOP, PROCEEDINGS, 1997, : 176 - 183