共 73 条
[1]
Abdeen H., 2014, INT C AUTOMATED SOFT, P289
[2]
ActiveMQ, About Us
[3]
A Study on Challenges of Testing Robotic Systems
[J].
2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2020),
2020,
:96-107
[5]
[Anonymous], 2008, Springer Handbook of Robotics, DOI [DOI 10.1007/978-3-319-32552-1, DOI 10.1007/978-3-540-30301-5_41, 10.1007/978-3-540-30301-5_41]
[6]
[Anonymous], 2009, ICRA WORKSH OP SOURC
[7]
Apel Sven, 2013, FeatureOriented Software Product Lines-Concepts and Implementation, DOI [10.1007/978-3-642-37521-7, DOI 10.1007/978-3-642-37521-7]
[8]
The SPICA Development Framework Model-Driven Software Development for Autonomous Mobile Robots
[J].
IAS-10: INTELLIGENT AUTONOMOUS SYSTEMS 10,
2008,
:211-220
[9]
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I,
2010, 6415
:90-105