Repositorio Dspace

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

Texto completo de este documento