Supervised Theses (4)

  1. Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos 2011

    Universidad de Granada

    Mendoza Morales, Luis Eduardo

  2. Medistam-rt: metodología de diseño y análisis de sistemas de tiempo real 2009

    Universidad de Granada

    Benghazi Akhlaki, Kawtar

  3. Una metodología de programación basada en composiciones paralelas de alto nivel cpans. 2005

    Universidad de Granada

    Rossainz López, Mario

  4. Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly 2002

    Universidad de Granada

    Hornos Barranco, Miguel J.

Theses Committees (4)

  1. Chair of the Committee

    Desarrollo de sistemas software industriales dirigido por modelos: aplicación a OPC UA e IEC 61131-3 2018

    Universidad de Granada

    Gutiérrez Guerrero, José Miguel

  2. Chair of the Committee

    Plataforma de servicios semánticos sensibles al contexto para sistemas de inteligencia ambiental 2015

    Universidad de Granada

    Rodríguez Valenzuela, Sandra

  3. Committee Member

    Integración de análisis de tiempo real en la técnica de descripción formal sdl 2002

    Universidad de Málaga

    LLOPIS TORRES, LUIS MANUEL

  4. Committee Member

    Diseño e implementación de lenguajes orientados al modelo PRAM 1996

    Universidad de La Laguna

    León Hernández, Coromoto