共 13 条
- [1] Azizan S. N., 2007, INT J SOFTWARE ENG I, V1, P19
- [2] A software component verification tool [J]. INTERNATIONAL CONFERENCE ON SOFTWARE METHODS AND TOOLS, PROCEEDING, 2000, : 137 - 146
- [3] BUY U, 1999, P 1 INT WORKSH TEST
- [5] Hoffman D., 1999, Software Testing, Verification and Reliability, V9, P3, DOI 10.1002/(SICI)1099-1689(199903)9:1<3::AID-STVR169>3.0.CO
- [6] 2-Z
- [7] Hu XL, 2005, 2005 12th International Conference on Advanced Robotics, P506
- [8] An architecture for robotic hardware-in-the-loop simulation [J]. IEEE ICMA 2006: PROCEEDING OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION, VOLS 1-3, PROCEEDINGS, 2006, : 2162 - +
- [9] Michel O., 2004, International Journal of Advanced Robotic Systems, V1, P39
- [10] Momotko M., 2004, Foundations of Computing and Decision Sciences, V29, P133