Publicaciones en colaboración con investigadores/as de Åbo Akademi University (4)

2010

  1. Authoring and Verification of Clinical Guidelines: a Model Driven Approach

    Journal of Biomedical Informatics, Vol. 43, Núm. 4, pp. 520-536

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. 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

2007

  1. Development of an ubiquitous decision support system for clinical guidelines using MDA

    CEUR Workshop Proceedings, pp. 9-12