Pertenece al Grupo de Investigación Sistemas
Concurrentes y de Tiempo Real (ReTiCS) ,
integrado
actualmente como una de las
secciones del Instituto de Investigación en Informática
de Albacete (I3A).
Las principales áreas de
interés son:
- Aplicación de métodos formales para la
descripción y análisis de sistemas concurrentes y de
tiempo real.
- Modelado de disponibilidad de recursos mediante
algebrás de procesos.
- Modelado y análisis de Sistemas de
Manufacturación Flexible mediante álgebras de procesos.
|
