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

Aquesta tesi apareix a les col·leccions següents