Wan Li Jiang, Steve Murphy, Anders Ekelund, Volker Miegel, Xing Guo Yin, Li Wei Qi. Robot Program Validation using Virtualization, Components, and Physics Engines. In ISR/ROBOTIK 2010, Proceedings for the joint conference of ISR 2010 (41st Internationel Symposium on Robotics) und ROBOTIK 2010 (6th German Conference on Robotics), 7-9 June 2010, Munich, Germany - Parallel to AUTOMATICA. pages 1-5, VDE Verlag, 2010. [doi]
Abstract is missing.