Javier Troya Castilla Atenea Profesor Titular de Universidad 952132865 jtroya@uma.esPágina PersonalLíneas de investigación principales:Análisis y pruebas de sistemas utilizando modelos softwareLenguajes de modelado para la especificación de sistemas
