Capítulos de Libro (8) Publicaciones en las que ha participado algún/a investigador/a

2008

  1. A model driven approach to automate the implementation of clinical guidelines in decision support systems

    Fifteenth IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2008, pp. 210-218

  2. Analytical model for lunar orbiter

    Advances in the Astronautical Sciences, pp. 1281-1299

  3. Checking Necessary Conditions For Control And Data Flow Compatibility In The Synchronizations Between Business And Interactions Logics In Web Processes

    Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08, pp. 92-101

  4. Flow And Data Compatibility For The Correct Interaction Between Web Processes

    2008 International Conference on Computational Intelligence for Modelling Control and Automation, CIMCA 2008, pp. 715-721

  5. Generación de un Modelo Estadístico Multirresolución de Formas 3D

    CASEIB 2008. XXVI Congreso Anual de la Sociedad Española de Ingeniería Biomédica.

  6. La peripecia (1918-1939) de un libro de texto de Julio Rey Pastor: "Teoría de las funciones reales"

    La historia de la ciencia y de la técnica: un arma cargada de futuro : ensayos en homenaje a Mariano Hormigón (Servicio de Publicaciones), pp. 221-236

  7. La polémica del cero y el infinito en "Madrid Científico" 1899

    La historia de la ciencia y de la técnica: un arma cargada de futuro : ensayos en homenaje a Mariano Hormigón (Servicio de Publicaciones), pp. 369-388

  8. Verification of clinical guidelines by model checking

    21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008;Jyvaskyla;17 June 2008through19 June 2008, pp. 114-119