Saila
Matemáticas y Computación
Liburu kapituluak (2) Ikertzaileren baten partaidetza izan duten argitalpenak
2007
-
Development of an ubiquitous decision support system for clinical guidelines using MDA
CEUR Workshop Proceedings, pp. 9-12
-
Formal Modelling of a Coordination System: from Practice to Theory, and back again
Lecture Notes in Computer Science, 2007, Volume 4457 (Springer), pp. 229-244