Cicle de conferències 2012-13. Conferència plenària. Engineering the behavior of robots: Simulation and Model-Checking for Embedded Systems and Robotics
JavaScript is disabled for your browser. Some features of this site may not work without it.
Cicle de conferències 2012-13. Conferència plenària. Engineering the behavior of robots: Simulation and Model-Checking for Embedded Systems and Robotics