Now showing items 127-128 of 128

    • Tesis de doctorado

      WebMC : a model checker for the Web 

      Victor Ferman; VICTOR FERMAN (Instituto Tecnológico y de Estudios Superiores de Monterrey, 2016)
    • Tesis de doctorado

      A Wrapper Component-Based Methodology for Integrating Distributed Robotics Systems 

      Guedea Elizalde, Federico (Instituto Tecnológico y de Estudios Superiores de Monterrey, 2008-01-05)
      Building an intelligent robot system has been an extensive research area. There are many advances in components needed to construct a robotic system, such as vision systems, sensory systems, and planning systems among ...