JUAN CARLOS
TORRES CANTERO
CATEDRÁTICO DE UNIVERSIDAD
MARCELINO JOSÉ
CABRERA CUEVAS
PROFESOR COLABORADOR
Publicacións nas que colabora con MARCELINO JOSÉ CABRERA CUEVAS (3)
1999
-
Modelisation of co-operative work
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
-
Towards user interfaces prototyping from algebraic specification
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99
1996
-
Un lenguaje de especificación formal de sistemas gráficos interactivos
II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996