Loredana Donzella

Learn More
In this paper, we propose a new computer-based approach to model clinical guidelines, adopting the agent-based paradigm. We first show how clinical guidelines can be modelled in an agent like fashion in the specification language Promela of the model checker SPIN. Then, we describe the impact of such a move: by using SPIN model-checking facilities, one can(More)
  • 1