[IEEE Robotics (MMAR) - Miedzyzdroje, Poland (2010.08.23-2010.08.26)] 2010 15th International Conference on Methods and Models in Automation and Robotics - Implementation of a bug algorithm in the e-puck from a hybrid control viewpoint
- 作者Marin, Leonardo; Valles, Marina; Valera, Angel; Albertos, Pedro
- 文件大小1132.25KB
- 发表时间2010
- DOI10.1109/mmar.2010.5587242
- 页码174-179
Self-checking Spreadsheets: Recognition of SemanticsStewart, M.E.M. · Procedia Computer Science · 2013
Multiblock mesh generation for multiple element airfoils with Euler solutionsM.E.M. Stewart · 1990
[IEEE Comput. Soc ASE 2000 15th IEEE International Automated Software Engineering Conference - Grenoble, France (11-15 Sept. 2000)] Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering - An experiment in scientific program understandingStewart, M.E.M. · 2000
[IEEE 29th Annual IEEE/NASA Software Engineering Workshop - Greenbelt, MD, USA (06-07 April 2005)] 29th Annual IEEE/NASA Software Engineering Workshop - Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic AnalysisStewart, M.E.M. · 2005