Líneas de investigación

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