Publicacions en què col·labora amb José Miguel Morales Illán (3)

2013

  1. From Teleo-Reactive specifications to architectural components: A model-driven approach

    XVIII Jornadas Nacionales de Ingeniería del Software y Bases de Datos

  2. From teleo-reactive specifications to architectural components: a model-driven approach

    XVIII Jornadas de ingeniería del software y bases de datos: Madrid, 18 al 20 de septiembre de 2013

2012

  1. From Teleo-Reactive specifications to architectural components: A model-driven approach

    Journal of Systems and Software, Vol. 85, Núm. 11, pp. 2504-2518