Líneas de investigación

  • ESPECIFICACION LOGICA DE PROGRAMAS. ESPECIFICACION Y VERIFICACION AUTOMATICA DE SOFTWARE. PLATAFORMAS SOFTWARE PARA ENTORNOS EMPOTRADOS Y DISPOSITIVOS MOVILES. SISTEMAS DE AUTOMATIZACIÓN DOMÓTICOS E INMÓTICOS. MIDDLEWARE PARA LA INTEGRACIÓN DE REDES, SERVICIOS Y SISTEMAS. SISTEMAS EN TIEMPO REAL.