Evaluación y desarrollo incremental de una arquitectura software de referencia para sistemas teleoperación utilizando métodos formales

Tesis doctoral de Juan ángel Pastor Franco Los sistemas de teleoperación cubren una amplísima gama de misiones y mecanismos y […]

, , , , ,