[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 9763 || Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems
- 作者De Nicola, Rocco; Kühn, Eva
- 文件大小116.24KB
- 发表时间2016
- DOI10.1007/978-3-319-41591-8_1
- 页码3-8
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9716 ||Alboul, Lyuba; Damian, Dana; Aitken, Jonathan M. · 2016
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9716 || Evaluating Multi-Robot Teamwork in Parameterised EnvironmentsAlboul, Lyuba; Damian, Dana; Aitken, Jonathan M. · 2016
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9716 || An Overview of the Ongoing Humanoid Robot Project LARMbotAlboul, Lyuba; Damian, Dana; Aitken, Jonathan M. · 2016
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9716 || Effects of Residual Charge on the Performance of Electro-Adhesive GrippersAlboul, Lyuba; Damian, Dana; Aitken, Jonathan M. · 2016
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9716 || An Hybrid Online Training Face Recognition System Using Pervasive Intelligence Assisted Semantic InformationAlboul, Lyuba; Damian, Dana; Aitken, Jonathan M. · 2016
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9716 || A Virtual Viscoelastic Based Aggregation Model for Self-organization of Swarm Robots SystemAlboul, Lyuba; Damian, Dana; Aitken, Jonathan M. · 2016
[Lecture Notes in Computer Science] Towards Autonomous Robotic Systems Volume 9716 || Performance Analysis of Small Size and Power Efficient UWB Communication Nodes for Indoor LocalizationAlboul, Lyuba; Damian, Dana; Aitken, Jonathan M. · 2016