Doktorego-tesia

  1. Entendiendo las semánticas de procesos 2009

    Universidad Complutense de Madrid

Tesi epaimahaiak (3)

  1. Epaimahaiko Presidente

    Modelando la variabilidad: métodos formales para la representación de líneas de productos software 2017

    Universidad Complutense de Madrid

    Camacho González, Carlos Delfin

  2. Epaimahaiko Secretario

    Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos. 2012

    Universidad Complutense de Madrid

    Fábregas Alfaro, Ignacio

  3. Epaimahaiko Secretario

    Testing activo y pasivo de sistemas con información temporal y probabilística 2010

    Universidad Complutense de Madrid

    ANDRES SANCHEZ, CESAR