Theses Committees (2)

  1. Committee Member

    A model driven methodology for the construction of reliable concurrent software 2019

    Universidad Politécnica de Madrid

    Alborodo, Raul Nestor Neri

  2. Committee Member

    Runtime observable and adaptable uml state machine-based software components generation and verification: models@run.Time approach 2019

    Mondragon Unibertsitatea

    Illarramendi Rezabal, Miren