Descripcion de interfaces hombres-ordenador por medio de metodos formales: aplicaciones de metodos para la evaluacion de un interfaz simulado.

Tesis doctoral de Valero Mora Pedro Miguel Esta tesis enmarca dentro de la linea de formalizar modelos de interaccion hombre-computador. […]

, , , , ,