SSCC
SISTEMAS CONCURRENTES
Ikerketa-lerroak
- 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