DSpace/Dipòsit Manakin

Cicle de conferències 2012-13. Conferència plenària. Engineering the behavior of robots: Simulation and Model-Checking for Embedded Systems and Robotics

Text complet d'aquest document